make TextSize part of Text as Size to adhere to BWAPI structure

Author: JasperGeurtz

src/main/java/bwapi/Game.java

@@ -96,7 +96,7 @@ public class Game {
     private short[] mapSplitTilesRegion1;
     private short[] mapSplitTilesRegion2;
     // USER DEFINED
-    private TextSize textSize = TextSize.Default;
+    private Text.Size textSize = Text.Size.Default;
 
     Game(Client client) {
         this.client = client;
@@ -2394,16 +2394,16 @@ public boolean hasPath(final Position source, final Position destination) {
     }
 
     public void setTextSize() {
-        setTextSize(TextSize.Default);
+        setTextSize(Text.Size.Default);
     }
 
     /**
      * Sets the size of the text for all calls to {@link #drawText} following this one.
      *
-     * @param size The size of the text. This value is one of Text#Size. If this value is omitted, then a default value of {@link TextSize#Default} is used.
-     * @see TextSize
+     * @param size The size of the text. This value is one of Text#Size. If this value is omitted, then a default value of {@link Text.Size#Default} is used.
+     * @see Text.Size
      */
-    public void setTextSize(final TextSize size) {
+    public void setTextSize(final Text.Size size) {
         textSize = size;
     }
 

src/main/java/bwapi/Text.java

@@ -143,4 +143,32 @@ boolean isColor() {
         final int c = this.id;
         return (2 <= c && c <= 8) || (14 <= c && c <= 17) || (21 <= c && c <= 31);
     }
+
+    /**
+     * Enumeration of available text sizes.
+     */
+    public enum Size {
+        /**
+         * The smallest text size in the game.
+         */
+        Small(0),
+        /**
+         * The standard text size, used for most things in the game such as chat messages.
+         */
+        Default(1),
+        /**
+         * A larger text size. This size is used for the in-game countdown timer seen in @CTF and @UMS game types.
+         */
+        Large(2),
+        /**
+         * The largest text size in the game.
+         */
+        Huge(3);
+
+        final int id;
+
+        Size(final int id) {
+            this.id = id;
+        }
+    }
 }

src/main/java/bwapi/TextSize.java

@@ -75,7 +75,7 @@ public void onStart() {
 
     @Override
     public void onFrame() {
-        // game.setTextSize(10);
+        // game.setText.Size(10);
         game.drawTextScreen(10, 10, "Playing as " + self.getName() + " - " + self.getRace());
         game.drawTextScreen(10, 20, "Units: " + self.getUnits().size() + "; Enemies: " + enemyBuildingMemory.size());
         game.drawTextScreen(10, 30,