/**
* Gets the permissions for a given code source.
*
* @see java.security.Policy#getPermissions(java.security.CodeSource)
*/
public PermissionCollection getPermissions(CodeSource codesource) {
PermissionCollection coll = policyFile.getPermissions(codesource);
addPermissions(codesource, coll);
return coll;
}
/** @see java.security.Policy#refresh() */
public synchronized void refresh() {
policyFile.refresh();
loadExtensions();
}