1. mc_launcher
2. server
3. MinecraftServer
4. server_properties property

MinecraftServer class

1. Constructors
2. MinecraftServer
3. Properties
4. onStdErr
5. onStdOut
6. process
7. properties
8. running
9. server_properties
10. serverdir
11. hashCode
12. runtimeType
13. Methods
14. executeCommand
15. start
16. stop
17. noSuchMethod
18. toString
19. Operators
20. operator ==

ServerProperties get server_properties;