DrJava loading ...