public synchronized void setSelectionEnd(int selectionEnd) {
setSelectionEnd(int selectionEnd) {
	public synchronized void setSelectionEnd(int selectionEnd) {		select(getSelectionStart(), selectionEnd);	}