Renamge getWorlds to getEnabledWorlds
Add the getDisabledWorlds method
Add options to the list command
Tack the version number onto the server.jar file
Rename the query.dat and response.dat buffer files to query.in and query.out
Separate the functions for finding the Screen and Java PIDs
Use the getJavaPID and getScreenPid methods instead of the getProcessIDs method
Add a comment, and sleep for a second before doing further verification
Use a different method of determining the PID of the Java process
Only depend on the Java process to be present for a running server
The Screen will close automatically when the Java process dies.
Drop unnecessary variables and comments
Use printf to return process IDs
Completion - Use the new options to the list command
Merge branch 'master' into server.properties

Conflicts:
	minecraft_server