public void windowStateChanged(WindowEvent e) {
		 if(e.getOldState()==JFrame.MAXIMIZED_BOTH &&
				 e.getNewState()==JFrame.NORMAL){
			//restore preMaximised Size
			 if(Debug.gui)
				 System.out.println("wsc:PreMaxBounds:"+preMaximiseBounds);
			 frame.setBounds(preMaximiseBounds);
		 }
		 if(Debug.gui)
			 displayStateMessage("WindowStateListener method called: " +
			 		"windowStateChanged.", e);
	    }