Hi Carl,

No one on the DrJava team uses Eclipse. We do all of our Java development using DrJava. i was not aware that our plugin does not work with Eclipse 3.5, but I am not surprised. The Eclipse development team evidently has never heard of backward compatibility.

We periodically have one of our student developers update the DrJava Eclipse plugin to work with the current version of Eclipse. We will eventually get the plugin to work with Eclipse 3.5 but it will not happen in the next few weeks. For now I suggest using Eclipse 3.4.