[DrJava] Folder name bug

[Charles R. <creis@u.washington.edu>]

Hey folks--
   Is there any chance of getting the "#"-in-folder-name bug fixed for 
the stable, or is that too deep a problem?

https://sourceforge.net/tracker/?func=detail&atid=438935&aid=885248&group_id=44253

Thanks,
Charlie