}
protected void initGUI() throws SlickException {
GL11.glPushAttrib(GL11.GL_ALL_ATTRIB_BITS);
try {
Renderer renderer = new LWJGLRenderer();
ThemeManager theme = loadTheme(renderer);
gui = new GUI(emptyRootWidget, renderer, null);
gui.applyTheme(theme);