nailgun_launcher/TrapSecurityManager.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

package cbt;
import java.security.*;
public class TrapSecurityManager extends SecurityManager{
  public void checkPermission( Permission permission ){
    /*
    NOTE: is it actually ok, to just make these empty?
    Calling .super leads to ClassNotFound exteption for a lambda.
    Calling to the previous SecurityManager leads to a stack overflow
    */
  }
  public void checkPermission( Permission permission, Object context ){
    /* Does this methods need to be overidden? */
  }
  @Override
  public void checkExit( int status ){
    super.checkExit(status);
    throw new TrappedExitCode(status);
  }
}