highlight github quickfix
update license information in developer guide
Use release license files for user docs.
Update tools for Java 7, Git and Maven
Merge branch 'master' of git://github.com/geoserver/geoserver