A light and user-friendly editor for the Java programming language