--- old/src/java.base/share/classes/java/lang/System.java	2015-01-10 13:43:09.907156699 +0100
+++ new/src/java.base/share/classes/java/lang/System.java	2015-01-10 13:43:09.814158553 +0100
@@ -30,13 +30,13 @@
 import java.security.AccessControlContext;
 import java.util.Properties;
 import java.util.PropertyPermission;
-import java.util.StringTokenizer;
 import java.util.Map;
 import java.security.AccessController;
 import java.security.PrivilegedAction;
-import java.security.AllPermission;
 import java.nio.channels.Channel;
 import java.nio.channels.spi.SelectorProvider;
+import java.util.function.Function;
+
 import sun.nio.ch.Interruptible;
 import sun.reflect.CallerSensitive;
 import sun.reflect.Reflection;
@@ -1240,6 +1240,10 @@
                     E[] getEnumConstantsShared(Class<E> klass) {
                 return klass.getEnumConstantsShared();
             }
+            public <D> D getGenericDerivative(Class<?> clazz, Object key,
+                                              Function<Class<?>, ? extends D> function) {
+                return clazz.getGenericDerivative(key, function);
+            }
             public void blockedOn(Thread t, Interruptible b) {
                 t.blockedOn(b);
             }