| int | | a(String arg0, int arg1) | | m_95500033(String arg0, int arg1) | | getIntProperty(String key, int defaultValue) |
|
| String | |
| void | |
| void | | a() | | m_75463850() | | saveProperties() |
|
| String | | b() | | m_48643407() | | getPropertiesFilePath() |
|
| String | |
| int | | e_() | | m_03873522() | | getPort() |
|
| String | | f_() | | m_65020692() | | getMotd() |
|
| String | | G() | | m_66799959() | | getGameVersion() |
|
| int | | H() | | m_88523111() | | getPlayerCount() |
|
| int | | I() | | m_27293470() | | getMaxPlayerCount() |
|
| String[] | | J() | | m_26342342() | | getPlayerNames() |
|
| String | | S() | | m_70179823() | | getWorldSaveName() |
|
| String | | g_() | | m_95361700() | | getPlugins() |
|
| String | |
| boolean | | L() | | m_07042954() | | isDebuggingEnabled() |
|
| void | |
| void | |
| void | |
| void | |