debug("checkPermission");
debug("checkPermission:"+perm.getName());
    public void checkPermission(Permission perm)    {	// todo this was not implemented int gcc 3.3.2 yet	// security hole	debug("checkPermission");    }