📄 refreshpolicyexploreritem.java
字号:
package SOMA.utility;
import java.io.*;
import java.util.*;
/** Refreshes/reloads the policy configuration.
*
* @author Livio Profiri
*/
public class RefreshPolicyExplorerItem extends SOMA.explorer.ExplorerItem
{
public RefreshPolicyExplorerItem()
{
super( "Refreshes/reloads the policy configuration." );
}
public Object Execute( Collection Parameters, PrintStream out )
{
java.security.Policy.getPolicy().refresh();
out.println( "Policy refreshed." );
return null;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -