ERNST Release Checklist
Run unit tests
Update third-party JAR files to the latest version
Run the unit tests again
Update RELEASE section of doc/ernst-files.txt
Update ./build.xml to include new files in release
Update version number in doc/licenses/ernst-license.txt
Update copyright year in doc/licenses/ernst-license.txt
Update version number for ERNST in Maven pom.xml file
Update ERNST XML documentation including ERNST version number
Update doc/ernst-updates.txt
Update developers in Maven pom.xml file
Update contributors in Maven pom.xml file
Update version number for ERNST in Ant build.xml file
Commit all files
Create the release file
Manually test the release file
Subversion label
Create a source archive file
Virus scan the binary release and source archive files
Upload the binary release file to the website in the root directory
Upload the source archive file to the website in the src/ subdirectory
Upload the updated documentation to the website
Increment version number for ERNST in Maven pom.xml file to -SNAPSHOT
Increment version number for ERNST in Ant build.xml file to -alpha
Generate new javadoc and upload
Announce the new version