A maze editor for the Java game MazeGame