Java editor. Java editor