210211212213214215216217
*/ private void checkPermissionName(String name) { SecurityManager sm = System.getSecurityManager(); if (sm != null) sm.checkPermission(new ConfigurationPermission(name)); }
290291292293294295296297