2.5.1

New in version 2.5.1
--------------------
This version provides some minor bugfixes, better subversion
support, and improvements in the editor and Submitter
extension.

This version also collects some anonymous user information
such as operating system, Java version and interface language.

Use "BlueJ Web Site" from the Help menu to download the 
new version.