auto-generated GUI code embedded into ASCIIMazeVisualizer.java