JScrollPane queryScroll=new JScrollPane( queryArea);
buttonDimension.height*=2;
buttonDimension.width*=3;
queryScroll.setMinimumSize( buttonDimension);
historyList=new HistoryList( queryArea);
storedValuesList=new StoredValuesList( analyzer.qp);
JScrollPane historyScroll=new JScrollPane( historyList);
storedArea=new JScrollPane( storedValuesList);
Box buttonBox=Box.createVerticalBox();
buttonBox.add( queryButton);
buttonBox.add( Box.createVerticalStrut( 2*(int)