RCP version of the JAVA editor