equal
deleted
inserted
replaced
379 System.out.println("Using policy file: " + policy); |
379 System.out.println("Using policy file: " + policy); |
380 try { |
380 try { |
381 r.execute(); |
381 r.execute(); |
382 if (!succeeds) { |
382 if (!succeeds) { |
383 System.out.println("FAILED: expected security exception"); |
383 System.out.println("FAILED: expected security exception"); |
384 throw new RuntimeException("Failed"); |
384 throw new RuntimeException("FAILED: expected security exception\""); |
385 } |
385 } |
386 System.out.println (policy + " succeeded as expected"); |
386 System.out.println (policy + " succeeded as expected"); |
387 } catch (BindException e) { |
387 } catch (BindException e) { |
388 System.exit(10); |
388 System.exit(10); |
389 } catch (SecurityException e) { |
389 } catch (SecurityException e) { |