A Java based source code editor