When DrJava starts it uses the system variable user.home to display or set the working directory in the interactions pane. Unfortunately, because of a bug in the JDK (#4787931 on the top 25 list), that sometimes isn't actually the user's home folder.
Specifically, when in a college lab setting with copied profiles, the JDK is relying on an obsolete registry key to find the user's home. Dr Java doesn't rely on this property property to store the configuration file (which is correctly stored in each student's home profile directory), but it does use this value to display the "Working Directory" message when you first start the interactions pane. Afterwards, when the student has navigated to another directory, the value is read from the DrJava config file instead, so the problem only appears when the program is started for the first time, and when used in a lab environment where the student profiles are different than the profile of the installation. Also, once Oracle fixes the bug, then this problem will disappear as well. The problem also doesn't seem to occur on our Windows or Linux machines.
Log in to post a comment.