// Path: src/org/darkstorm/minecraft/gui/component/BoundedRangeComponent.java
// public enum ValueDisplay {
// 	DECIMAL,
// 	INTEGER,
// 	PERCENTAGE,
// 	NONE
// }
// 
// Path: src/org/darkstorm/minecraft/gui/component/Button.java
// public interface Button extends Component, TextComponent {
// 	public void press();
// 
// 	public void addButtonListener(ButtonListener listener);
// 
// 	public void removeButtonListener(ButtonListener listener);
// 
// 	public ButtonGroup getGroup();
// 
// 	public void setGroup(ButtonGroup group);
// }
// 
// Path: src/org/darkstorm/minecraft/gui/component/Component.java
// public interface Component {
// 	public Theme getTheme();
// 
// 	public void setTheme(Theme theme);
// 
// 	public void render();
// 
// 	public void update();
// 
// 	public int getX();
// 
// 	public int getY();
// 
// 	public int getWidth();
// 
// 	public int getHeight();
// 
// 	public void setX(int x);
// 
// 	public void setY(int y);
// 
// 	public void setWidth(int width);
// 
// 	public void setHeight(int height);
// 
// 	public Point getLocation();
// 
// 	public Dimension getSize();
// 
// 	public Rectangle getArea();
// 
// 	public Container getParent();
// 
// 	public Color getBackgroundColor();
// 
// 	public Color getForegroundColor();
// 
// 	public void setBackgroundColor(Color color);
// 
// 	public void setForegroundColor(Color color);
// 
// 	public void setParent(Container parent);
// 
// 	public void onMousePress(int x, int y, int button);
// 
// 	public void onMouseRelease(int x, int y, int button);
// 
// 	public void resize();
// 
// 	public boolean isVisible();
// 
// 	public void setVisible(boolean visible);
// 
// 	public boolean isEnabled();
// 
// 	public void setEnabled(boolean enabled);
// }
// 
// Path: src/org/darkstorm/minecraft/gui/component/Frame.java
// public interface Frame extends Container, DraggableComponent {
// 	public String getTitle();
// 
// 	public void setTitle(String title);
// 
// 	public boolean isPinned();
// 
// 	public void setPinned(boolean pinned);
// 
// 	public boolean isPinnable();
// 
// 	public void setPinnable(boolean pinnable);
// 
// 	public boolean isMinimized();
// 
// 	public void setMinimized(boolean minimized);
// 
// 	public boolean isMinimizable();
// 
// 	public void setMinimizable(boolean minimizable);
// 
// 	public void close();
// 
// 	public boolean isClosable();
// 
// 	public void setClosable(boolean closable);
// }
// 
// Path: src/org/darkstorm/minecraft/gui/theme/simple/SimpleTheme.java
// public class SimpleTheme extends AbstractTheme {
// 	private final FontRenderer fontRenderer;
// 
// 	public SimpleTheme() {
// 		fontRenderer = new UnicodeFontRenderer(new Font("Trebuchet MS", Font.PLAIN, 15));
// 
// 		installUI(new SimpleFrameUI(this));
// 		installUI(new SimplePanelUI(this));
// 		installUI(new SimpleLabelUI(this));
// 		installUI(new SimpleButtonUI(this));
// 		installUI(new SimpleCheckButtonUI(this));
// 		installUI(new SimpleComboBoxUI(this));
// 		installUI(new SimpleSliderUI(this));
// 		installUI(new SimpleProgressBarUI(this));
// 	}
// 
// 	public FontRenderer getFontRenderer() {
// 		return fontRenderer;
// 	}
// }


import org.darkstorm.minecraft.gui.component.*;
import org.darkstorm.minecraft.gui.component.Button;
import org.darkstorm.minecraft.gui.component.Component;
import org.darkstorm.minecraft.gui.component.Frame;
import org.darkstorm.minecraft.gui.component.basic.*;
import org.darkstorm.minecraft.gui.listener.*;
import org.darkstorm.minecraft.gui.theme.Theme;
import org.darkstorm.minecraft.gui.theme.simple.SimpleTheme;
import java.awt.*;
import java.util.concurrent.atomic.AtomicBoolean;
import net.minecraft.client.Minecraft;
import org.darkstorm.minecraft.gui.component.BoundedRangeComponent.ValueDisplay;
				case 2:
					// Another theme
					// break;
				default:
					return;
				}
				setTheme(theme);
			}
		});
		testFrame.add(comboBox);
		Slider slider = new BasicSlider("Test");
		slider.setContentSuffix("things");
		slider.setValueDisplay(ValueDisplay.INTEGER);
		testFrame.add(slider);
		testFrame.add(new BasicProgressBar(50, 0, 100, 1, ValueDisplay.PERCENTAGE));

		testFrame.setX(50);
		testFrame.setY(50);
		Dimension defaultDimension = theme.getUIForComponent(testFrame).getDefaultSize(testFrame);
		testFrame.setWidth(defaultDimension.width);
		testFrame.setHeight(defaultDimension.height);
		testFrame.layoutChildren();
		testFrame.setVisible(true);
		testFrame.setMinimized(true);
		addFrame(testFrame);
	}

	@Override
	protected void resizeComponents() {
		Theme theme = getTheme();
// Path: src/org/darkstorm/minecraft/gui/component/BoundedRangeComponent.java
// public enum ValueDisplay {
// 	DECIMAL,
// 	INTEGER,
// 	PERCENTAGE,
// 	NONE
// }
// 
// Path: src/org/darkstorm/minecraft/gui/component/Button.java
// public interface Button extends Component, TextComponent {
// 	public void press();
// 
// 	public void addButtonListener(ButtonListener listener);
// 
// 	public void removeButtonListener(ButtonListener listener);
// 
// 	public ButtonGroup getGroup();
// 
// 	public void setGroup(ButtonGroup group);
// }
// 
// Path: src/org/darkstorm/minecraft/gui/component/Component.java
// public interface Component {
// 	public Theme getTheme();
// 
// 	public void setTheme(Theme theme);
// 
// 	public void render();
// 
// 	public void update();
// 
// 	public int getX();
// 
// 	public int getY();
// 
// 	public int getWidth();
// 
// 	public int getHeight();
// 
// 	public void setX(int x);
// 
// 	public void setY(int y);
// 
// 	public void setWidth(int width);
// 
// 	public void setHeight(int height);
// 
// 	public Point getLocation();
// 
// 	public Dimension getSize();
// 
// 	public Rectangle getArea();
// 
// 	public Container getParent();
// 
// 	public Color getBackgroundColor();
// 
// 	public Color getForegroundColor();
// 
// 	public void setBackgroundColor(Color color);
// 
// 	public void setForegroundColor(Color color);
// 
// 	public void setParent(Container parent);
// 
// 	public void onMousePress(int x, int y, int button);
// 
// 	public void onMouseRelease(int x, int y, int button);
// 
// 	public void resize();
// 
// 	public boolean isVisible();
// 
// 	public void setVisible(boolean visible);
// 
// 	public boolean isEnabled();
// 
// 	public void setEnabled(boolean enabled);
// }
// 
// Path: src/org/darkstorm/minecraft/gui/component/Frame.java
// public interface Frame extends Container, DraggableComponent {
// 	public String getTitle();
// 
// 	public void setTitle(String title);
// 
// 	public boolean isPinned();
// 
// 	public void setPinned(boolean pinned);
// 
// 	public boolean isPinnable();
// 
// 	public void setPinnable(boolean pinnable);
// 
// 	public boolean isMinimized();
// 
// 	public void setMinimized(boolean minimized);
// 
// 	public boolean isMinimizable();
// 
// 	public void setMinimizable(boolean minimizable);
// 
// 	public void close();
// 
// 	public boolean isClosable();
// 
// 	public void setClosable(boolean closable);
// }
// 
// Path: src/org/darkstorm/minecraft/gui/theme/simple/SimpleTheme.java
// public class SimpleTheme extends AbstractTheme {
// 	private final FontRenderer fontRenderer;
// 
// 	public SimpleTheme() {
// 		fontRenderer = new UnicodeFontRenderer(new Font("Trebuchet MS", Font.PLAIN, 15));
// 
// 		installUI(new SimpleFrameUI(this));
// 		installUI(new SimplePanelUI(this));
// 		installUI(new SimpleLabelUI(this));
// 		installUI(new SimpleButtonUI(this));
// 		installUI(new SimpleCheckButtonUI(this));
// 		installUI(new SimpleComboBoxUI(this));
// 		installUI(new SimpleSliderUI(this));
// 		installUI(new SimpleProgressBarUI(this));
// 	}
// 
// 	public FontRenderer getFontRenderer() {
// 		return fontRenderer;
// 	}
// }


// Path: src/org/darkstorm/minecraft/gui/ExampleGuiManager.java
import org.darkstorm.minecraft.gui.component.*;
import org.darkstorm.minecraft.gui.component.Button;
import org.darkstorm.minecraft.gui.component.Component;
import org.darkstorm.minecraft.gui.component.Frame;
import org.darkstorm.minecraft.gui.component.basic.*;
import org.darkstorm.minecraft.gui.listener.*;
import org.darkstorm.minecraft.gui.theme.Theme;
import org.darkstorm.minecraft.gui.theme.simple.SimpleTheme;
import java.awt.*;
import java.util.concurrent.atomic.AtomicBoolean;
import net.minecraft.client.Minecraft;
import org.darkstorm.minecraft.gui.component.BoundedRangeComponent.ValueDisplay;

				case 2:
					// Another theme
					// break;
				default:
					return;
				}
				setTheme(theme);
			}
		});
		testFrame.add(comboBox);
		Slider slider = new BasicSlider("Test");
		slider.setContentSuffix("things");
		slider.setValueDisplay(ValueDisplay.INTEGER);
		testFrame.add(slider);
		testFrame.add(new BasicProgressBar(50, 0, 100, 1, ValueDisplay.PERCENTAGE));

		testFrame.setX(50);
		testFrame.setY(50);
		Dimension defaultDimension = theme.getUIForComponent(testFrame).getDefaultSize(testFrame);
		testFrame.setWidth(defaultDimension.width);
		testFrame.setHeight(defaultDimension.height);
		testFrame.layoutChildren();
		testFrame.setVisible(true);
		testFrame.setMinimized(true);
		addFrame(testFrame);
	}

	@Override
	protected void resizeComponents() {
		Theme theme = getTheme();
		Frame[] frames = getFrames();