startLine = Integer.parseInt(start.getText()) - 1; endLine = Integer.parseInt(end.getText()) - 1;
startLine = Integer.parseInt(startField.getText()) - 1; endLine = Integer.parseInt(endField.getText()) - 1;
	public void ok()	{		int startLine;		int endLine;		try		{			startLine = Integer.parseInt(start.getText()) - 1;			endLine = Integer.parseInt(end.getText()) - 1;		}		catch(NumberFormatException nf)		{			getToolkit().beep();			return;		}		Element startElement = buffer.getDefaultRootElement()			.getElement(startLine);		Element endElement = buffer.getDefaultRootElement()			.getElement(endLine);				if(startElement == null || endElement == null)		{			getToolkit().beep();			return;		}		int startOffset = startElement.getStartOffset();		int endOffset = endElement.getEndOffset() - 1;		((View)getParent()).getTextArea().select(startOffset,endOffset);		dispose();	}