public void hideWaitCursor()
public synchronized void hideWaitCursor()
	public void hideWaitCursor()	{		if(waitCount > 0)			waitCount--;		if(waitCount == 0)		{			Cursor cursor = Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR);			setCursor(cursor);			cursor = Cursor.getPredefinedCursor(Cursor.TEXT_CURSOR);			JEditTextArea[] textAreas = getTextAreas();			for(int i = 0; i < textAreas.length; i++)			{				JEditTextArea textArea = textAreas[i];				textArea.getPainter().setCursor(cursor);			}		}	}