From 308f8a958dd98e68155748e7da015483d92d3296 Mon Sep 17 00:00:00 2001
From: servertood <servertood@40cadd2d-89a2-4482-8f20-0232d845d7e3>
Date: Mon, 20 Oct 2008 03:43:26 +0000
Subject: [PATCH] fix insets issue

---
 extra/jheidi/progressWaiter.ajl | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/extra/jheidi/progressWaiter.ajl b/extra/jheidi/progressWaiter.ajl
index 8b5e5ea6..cf60408e 100644
--- a/extra/jheidi/progressWaiter.ajl
+++ b/extra/jheidi/progressWaiter.ajl
@@ -1,4 +1,6 @@
   import java.awt.BorderLayout;
+  import java.awt.Insets;
+  import java.awt.Component;
   import javax.swing.*;
   import javax.swing.border.*;
   
@@ -10,6 +12,7 @@
   String message = arg("waitOperation");
   
   Panel statusBar = context.get("/statusBar");
+ 
   JLabel text = statusBar.getProperty("text");
   ProgressBar pbar = statusBar.getProperty("pbar");
   Stack messages = statusBar.getProperty("messages");
@@ -53,7 +56,7 @@
     statusBar.updateUI();
   }
     
-  while (!worker.isDone()) {};
+  while (!worker.isDone()) {}; 
   
   /*
    * if the worker is Cancelled - we know that the user probably tried to invoke the same function