Use compiled properties instead of plain properties for resource file

sun.launcher.LauncherHelp class is added in JDK 7. It has a resource properties file. The java launcher to load the resource bundle from a properties file is slower than loading from a java class. We shall use the compiled properties instead.

In 1.4.2, the JRE has been fixed to use compiled properties files. See 4747351: Compile .properties files into .class files.