Here’s few more screenshots about MinecraftEdu Server tool. Notice that the whole interface now has starting gui, where you can click what you want to do and new window will popup to the right of the starting gui.

 Start GUI

GUI for selecting premade assignment map

GUI for creating new map with random seed or with flat surface. Settings for the map can also be set before starting the map.

GUI for selecting saved map / changing settings for the saved maps. Map saving will be demonstrated in the picture below.

When user starts the MinecraftEdu server, there will be just small amount of text indicating that the server is running and on the right there is this box where user can just type in name for the map and press the “save map” button to instantly save the map. Saved map can then be handled thru server tools “saved map” section. That serverside map saving textbox also holds 10 most recent save names inside it, so users can easily see names of the recent saves.

There is also that button “Show advanced settings” which can be pressed to show the normal Minecraft server console, players and system load.