A mini Text editor in Java and SWT