[Drjava-users] A new DrJava beta release is out!

[Michael D. J. <dy...@cs...>]

Besides some bug fixes and refactoring the new release of DrJava contains
a few changes:
                                                                                
- Force a save file before compiling, now ignores untitled files.
                                                                                
- Find and Replace has been improved by adding the feature
  of multi-line search and replace.
                                                                                
- Find and Replace now enables the user to ignore comments in a search
                                                                                
- Open / Save file boxes has been enlarged for convenience.
                                                                                
Please download this new version of DrJava as your primary version.
                                                                                
Thank you for your constant usage and valuable feedback.