Improved SimpleController for use in DrJava