Version 1.3.1 released

Use docGenerator 1.6.7.1
Fix some cases where the version of a JRE was not found
Add methods to get the major version of a JRE
Add a AppLauncher class which makes simple to call a Java executable (bundled in a jar file) and settings properties for the launch