Formatting
Bumped version to 2.5.0
Updated changelog
Compile with JDK 7 from now on
Update to latest Maven Compiler Plugin
Updated Java Runtime Environment automatic downloader to 7u15
Better description of new features in PS3.conf