catch(Abort a) { }
	private void doRequest(final Request request)	{		if(request.inAWT)		{			// this hack ensures that requestCount is zero only			// when there are really no requests running			Runnable r = new Runnable()			{				public void run()				{					Log.log(Log.DEBUG,WorkThread.class,						"Running in AWT thread: "						+ request.run);					try					{						request.run.run();					}					catch(Abort a)					{					}					catch(Throwable t)					{						Log.log(Log.ERROR,WorkThread.class,"Exception "							+ "in AWT thread:");						Log.log(Log.ERROR,WorkThread.class,t);					}					requestCount--;				}			};			SwingUtilities.invokeLater(r);		}		else		{			Log.log(Log.DEBUG,WorkThread.class,"Running in work thread: "				+ request.run);			try			{				request.run.run();			}			catch(Abort a)			{			}			catch(Throwable t)			{				Log.log(Log.ERROR,WorkThread.class,"Exception "					+ "in work thread:");				Log.log(Log.ERROR,WorkThread.class,t);			}			requestCount--;		}	}