changes to enable the use of java.options file