--- jde-2.3.5.1/java/src/jde/util/AntServer.java~ 2006-02-19 15:22:47.000000000 +0100 +++ jde-2.3.5.1/java/src/jde/util/AntServer.java 2006-06-06 03:44:39.000000000 +0200 @@ -70,9 +70,6 @@ } public static void start(String command) { SecurityManager sm = System.getSecurityManager(); - if (sm == null) { - System.setSecurityManager(new JDESecurityManager()); - } //Parsing commands StringTokenizer st = new StringTokenizer(command);