Open/Click-on "Start MinecraftEdu Server Launcher"
Adding to Minecraft EDU
Step 3:
Click-on "Select Saved World"
Step 4:
In the "Saved Worlds" window open the "Settings" menu and choose "Browse Folder"
Adding to Minecraft EDU
Step 5:
Copy/paste your downloaded Lakecraft world ".7z" archive to the "savedworlds" folder. Then right-click on it and choose "open" or "extract" to unarchive it to a folder with the same name.
Adding to Minecraft EDU
Step 6:
In the "Saved Worlds" window, open the "Settings" menu, choose "Refresh Saved Worlds," and the Lakecraft world show up in the "saved worlds" list.
Adding to Minecraft EDU
Step 7:
Select the Lakecraft "saved world" in the list of "saved worlds" and then click the button at the bottom of the window "Start Server with Selected Saved World"