hg: graal/graal-compiler: isolated use of SortedMap in Graal option processing to option printing only; use j.u.Properties to load Graal options from a file (GRAAL-1371)

[doug.simon at oracle.com]

Changeset: 86780d6ac391
Author:    Doug Simon <doug.simon at oracle.com>
Date:      2015-12-22 22:10 +0100
URL:       http://hg.openjdk.java.net/graal/graal-compiler/rev/86780d6ac391

isolated use of SortedMap in Graal option processing to option printing only; use j.u.Properties to load Graal options from a file (GRAAL-1371)

! graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/CompileTheWorld.java
! graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotGraalCompilerFactory.java
! graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionType.java
! graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionValue.java
! graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionsLoader.java
! graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionsParser.java