# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1370294795 -7200
# Node ID e45c7720b46b15b0d832824c367d5e941d5ff893
# Parent  e876c2a6954fbddef137f601136670214232d4a2
use package of generated OptionProvider to filter Graal options that are parsed from the HotSpot command line (GRAAL-27)

diff -r e876c2a6954f -r e45c7720b46b graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java	Mon Jun 03 21:59:44 2013 +0200
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java	Mon Jun 03 23:26:35 2013 +0200
@@ -37,8 +37,10 @@
     static {
         ServiceLoader<OptionProvider> sl = ServiceLoader.loadInstalled(OptionProvider.class);
         for (OptionProvider provider : sl) {
-            String name = provider.getName();
-            options.put(name, provider);
+            if (provider.getClass().getName().startsWith("com.oracle.graal")) {
+                String name = provider.getName();
+                options.put(name, provider);
+            }
         }
     }