?? preferences.java
字號:
/**
* Preferences.java
*
*
*
* @author Einar Vollset <einar.vollset@ncl.ac.uk>
*
*/
package fake.net;
public class Preferences
{
private Preferences(){}//prevents instantiation
/**
* This should give the hostname of the machine where the JNS dynamic
* scheduler is running.
*/
public static final String SERVER_HOST_NAME = "localhost";
/**
* This should give the port no on which the RMIRegistry is running on the
* above machine.
*/
public static final int SERVER_PORT_NO = 3778;
}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -