GL11.glOrtho(0, 640, 480, 0, 1, -1);

   public void render()
   {
      texture.bind();
      
      // Filter code
      GL11.glTexParameteri(GL11.GL_TEXTURE_2D, GL11.GL_TEXTURE_MIN_FILTER, GL11.GL_NEAREST);
      GL11.glTexParameteri(GL11.GL_TEXTURE_2D, GL11.GL_TEXTURE_MAG_FILTER, GL11.GL_NEAREST);
      
      // Mins and maxes for which parts of the image to select
      float minX = srcX / (float)texture.getTextureWidth();
      float minY = srcY / (float)texture.getTextureHeight();
      float maxX = srcX2 / (float)texture.getTextureWidth();
      float maxY = srcY2 / (float)texture.getTextureHeight();
            
      // Begins drawing a quad
      GL11.glBegin(GL11.GL_QUADS);
         GL11.glTexCoord2f(minX, minY);
         GL11.glVertex2f(0, 0);
         GL11.glTexCoord2f(maxX, minY);
         GL11.glVertex2f(srcX2 - srcX, 0);
         GL11.glTexCoord2f(maxX, maxY);      //
         GL11.glVertex2f(srcX2 - srcX, srcY2 - srcY);
         GL11.glTexCoord2f(minX, maxY);      //
         GL11.glVertex2f(0, srcY2 - srcY);
      GL11.glEnd();
   }

      GL11.glTexParameteri(GL11.GL_TEXTURE_2D, GL11.GL_TEXTURE_MIN_FILTER, GL11.GL_NEAREST);
      GL11.glTexParameteri(GL11.GL_TEXTURE_2D, GL11.GL_TEXTURE_MAG_FILTER, GL11.GL_NEAREST);

public JsonParser(String jsonFile)
{
      builder = new StringBuilder();
      try
      {
         // Determines file type
         String fileType = jsonFile.substring(jsonFile.lastIndexOf('.')+1);
         fileType = fileType.toLowerCase();
         
         // If it is a .json file...
         if(fileType.equals("json"))
            in = new DataInputStream(new FileInputStream(jsonFile));
         
         // Otherwise, if it is a .zip file...
         else if(fileType.equals("zip"))
         {
            ZipInputStream zis = new ZipInputStream(new FileInputStream(jsonFile));
            zis.getNextEntry();
            in = new DataInputStream(zis);
         }
         
         // Otherwise, if it is a .gz file...
         else if(fileType.equals("gz"))
         {
            in = new DataInputStream(new GZIPInputStream(new FileInputStream(jsonFile)));
         }
         
         // Otherwise...
         else
            throw new RuntimeException("Extension " + fileType + " not accepted by JsonParser");
      }
      catch(IOException e)
      {
         e.printStackTrace();
      }
}

   // Renders quad
   public void render()
   {
      texture.bind();
      
      // Mins and maxes for which parts of the image to select
      float minX = srcX / (float)texture.getImageWidth();
      float minY = srcY / (float)texture.getImageHeight();
      float maxX = srcX2 / (float)texture.getImageWidth();
      float maxY = srcY2 / (float)texture.getImageHeight();
            
      // Begins drawing a quad
      GL11.glBegin(GL11.GL_QUADS);
         GL11.glColor3f(v2Shade, v2Shade, v2Shade);
         GL11.glTexCoord2f(maxX, minY);
         GL11.glVertex2f(srcX2 - srcX, 0);
         GL11.glColor3f(1, 1, 1);
         //
         GL11.glColor3f(v3Shade, v3Shade, v3Shade);
         GL11.glTexCoord2f(maxX, maxY);      //
         GL11.glVertex2f(srcX2 - srcX, srcY2 - srcY);
         //
         GL11.glColor3f(v4Shade, v4Shade, v4Shade);
         GL11.glTexCoord2f(minX, maxY);      //
         GL11.glVertex2f(0, srcY2 - srcY);
         //
         GL11.glColor3f(v1Shade, v1Shade, v1Shade);
         GL11.glTexCoord2f(minX, minY);
         GL11.glVertex2f(0, 0);
      GL11.glEnd();
   }

glTint4f(float red, float green, float blue, float intensity);

class RunningAction implements Action
{
    // Housekeeping
    public void enter()
    {
    }

    // Runs the action
    public void run()
    {
        // Player loops animation :D

        // Player tries to go to standing action if player is in a particular state
        if(Math.abs(velovityX) > 0 && bottomTouched)
            setAction(ACTION_RUNNING);
    }

    // Usually unnecessary housekeeping
    public void exit()
    {
    }
}

public void setAction(Action action)
{
    for(int i=0; i<actions.length; i++)
    {
        if(action == actions[i])
        {
            actions[actionPointer].exit();
            actionPointer = i;
            actions[actionPointer].enter();
        }
    }
}

public void addAction(Action action)
{
    // Adds the action
    actions[size] = action;
    size ++;

    // Gives object that references local variables that are important to the player
    action.setReferences(References ref);
}

/**
* Action gets assigned
*/
public void setAction(int action)
{
    // Leaves our current action by calling the exit method.  Potentially cleans up some leftovers.  I might get rid of this method
    //since it has proven to be pretty useless so far.
    actions[actionPointer].exit();

    // Assigns the action pointer and calls on its enter method for housekeeping purposes.  Action gets ready to be run.
    actionPointer = action;
    actions[actionPointer].enter();
}


/**
* Action gets run
*/
public void update()
{
    actions[actionPointer].run();
}

   public void setSaveFile(File saveFile)
   {
      // Assigns the save file
      this.saveFile = saveFile;
      try
      {
         // May create the save file if it does not yet exist
         saveFile.createNewFile();
         
         // Potentially closes streams
         if(!isClosed && in != null)
         {
            in.close();
            out.close();
         }
         
         // Creates new in and out streams
         in = new ObjectInputStream(new FileInputStream(saveFile));    // Decides to get thrown here...
         out = new ObjectOutputStream(new FileOutputStream(saveFile));
      }
      catch(IOException e)
      {
         e.printStackTrace();
      }
   }

java.io.EOFException
   at java.io.ObjectInputStream$PeekInputStream.readFully(Unknown Source)
   at java.io.ObjectInputStream$BlockDataInputStream.readShort(Unknown Source)
   at java.io.ObjectInputStream.readStreamHeader(Unknown Source)
   at java.io.ObjectInputStream.<init>(Unknown Source)