File junit-jdk11.patch of Package junit

--- junit-r4.11/src/test/java/org/junit/tests/running/core/MainRunner.java	2012-11-13 21:10:09.000000000 +0100
+++ junit-r4.11/src/test/java/org/junit/tests/running/core/MainRunner.java	2018-07-11 16:50:47.418496509 +0200
@@ -197,11 +197,6 @@
         }
 
         @Override
-        public boolean checkTopLevelWindow(Object window) {
-            return (originalSecurityManager == null) ? super.checkTopLevelWindow(window) : originalSecurityManager.checkTopLevelWindow(window);
-        }
-
-        @Override
         public void checkPrintJobAccess() {
             if (originalSecurityManager != null) {
                 originalSecurityManager.checkPrintJobAccess();
@@ -209,20 +204,6 @@
         }
 
         @Override
-        public void checkSystemClipboardAccess() {
-            if (originalSecurityManager != null) {
-                originalSecurityManager.checkSystemClipboardAccess();
-            }
-        }
-
-        @Override
-        public void checkAwtEventQueueAccess() {
-            if (originalSecurityManager != null) {
-                originalSecurityManager.checkAwtEventQueueAccess();
-            }
-        }
-
-        @Override
         public void checkPackageAccess(String pkg) {
             if (originalSecurityManager != null) {
                 originalSecurityManager.checkPackageAccess(pkg);
@@ -243,13 +224,6 @@
             }
         }
 
-        @Override
-        public void checkMemberAccess(Class<?> clazz, int which) {
-            if (originalSecurityManager != null) {
-                originalSecurityManager.checkMemberAccess(clazz, which);
-            }
-        }
-
         @Override
         public void checkSecurityAccess(String target) {
             if (originalSecurityManager != null) {