[DrJava] Update src/

[Charles R. <cr...@ri...>]

   I committed some of Peter's changes to platform.jar and the 
platform-specific source trees last night, allowing us to use the 
platform's default web browser to view HTML files on Mac/Windows.  To 
get these changes, you'll need to run "cvs update" in your "src" 
directory.  (After compiling util/ and drjava/, you'll be able to view 
Javadoc HTML in the platform's browser on Mac/Windows.)

Charlie