private static void buildAndRunGui(final Alloy alloy, final String[] hn) {
        SwingUtilities.invokeLater(new Runnable() { // (dispatch thread code)
            @Override
            public void run() {
                Display display = new Display(alloy, hn, "Assignment 3: Alloy Simulation");
                display.setVisible(true);
                display.draw();
            }
        }); // (/dispatch thread code)
    }