James Hsia - 2004-04-11

Logged In: YES
user_id=557360

What version of DrJava are you running? From the stack
trace it looks like you're using the stable version from
last August. If so, then this bug has already been fixed.
We recommend downloading the latest stable release.

Hope this helps!