+9. Upload JAR and source distribution and ReleaseNotes to Sourceforge
+ (Project Admin -> File Manager, create new version directory + upload)
+10. Update HTML: index.html (release notes) download.html (version number)
+11. Update HTML to web server
+12. Send email about new release
+13. Update build.properties to "pre" version + commit