public void bindThumbnailTexture(Minecraft var1) {
      if(this.texturePackThumbnail != null && this.texturePackName < 0) {
         this.texturePackName = var1.renderEngine.allocateAndSetupTexture(this.texturePackThumbnail);
      }

      if(this.texturePackThumbnail != null) {
         var1.renderEngine.bindTexture(this.texturePackName);
      } else {
         GL11.glBindTexture(3553 /*GL_TEXTURE_2D*/, var1.renderEngine.getTexture("/assets/gui/unknown_pack.png"));
      }

   }