public synchronized String getSelectedText() {
getSelectedText() {
	public synchronized String getSelectedText() {		String alltext = getText();		int start = getSelectionStart();		int end = getSelectionEnd();		return (alltext.substring(start, end));	}