junit/junit-jdk11.patch

50 lines
1.7 KiB
Diff

--- 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) {