General extensions for the Minecraft server
Returns the list of current online players, or an empty list if no players are online.
Returns the current run directory of the server as an absolute Path.
Executes the given command for this server.
Executes the given command for the specified source.