A Simple Java Editor