equal
deleted
inserted
replaced
53 |
53 |
54 System.setSecurityManager(new SecurityManager()); |
54 System.setSecurityManager(new SecurityManager()); |
55 |
55 |
56 Objects.requireNonNull(ToolProvider.getSystemDocumentationTool()); |
56 Objects.requireNonNull(ToolProvider.getSystemDocumentationTool()); |
57 Objects.requireNonNull(ToolProvider.getSystemJavaCompiler()); |
57 Objects.requireNonNull(ToolProvider.getSystemJavaCompiler()); |
58 Objects.requireNonNull(ToolProvider.getSystemToolClassLoader()); |
58 if (ToolProvider.getSystemToolClassLoader() != null) { |
|
59 throw new AssertionError("unexpected value for getSystemToolClassLoader"); |
|
60 } |
59 } |
61 } |
60 } |
62 } |