// Path: src/simpleserver/util/Util.java
// public static void println(Object o) {
//   System.out.println("[SimpleServer] " + o);
// }


import static simpleserver.util.Util.println;
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStream;
import java.io.InputStreamReader;
  public static final int protocolVersion = 78;
  public static final String minecraftVersion = "1.6.4";
  public static final String version;

  static {
    String extendedVersion = baseVersion;
    if (release) {
      extendedVersion += "-" + releaseState;
    } else {
      String commitversion = getVersionString("VERSION");
      if (commitversion != null) {
        extendedVersion += "-" + commitversion;
      }
    }
    version = extendedVersion;
  }

  private static String getVersionString(String file) {
    InputStream input = Main.class.getResourceAsStream(file);
    String retversion = null;

    if (input != null) {
      BufferedReader reader = new BufferedReader(new InputStreamReader(input));
      try {
        try {
          retversion = reader.readLine();
        } finally {
          reader.close();
        }
      } catch (IOException e) {
// Path: src/simpleserver/util/Util.java
// public static void println(Object o) {
//   System.out.println("[SimpleServer] " + o);
// }


// Path: src/simpleserver/Main.java
import static simpleserver.util.Util.println;
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStream;
import java.io.InputStreamReader;

  public static final int protocolVersion = 78;
  public static final String minecraftVersion = "1.6.4";
  public static final String version;

  static {
    String extendedVersion = baseVersion;
    if (release) {
      extendedVersion += "-" + releaseState;
    } else {
      String commitversion = getVersionString("VERSION");
      if (commitversion != null) {
        extendedVersion += "-" + commitversion;
      }
    }
    version = extendedVersion;
  }

  private static String getVersionString(String file) {
    InputStream input = Main.class.getResourceAsStream(file);
    String retversion = null;

    if (input != null) {
      BufferedReader reader = new BufferedReader(new InputStreamReader(input));
      try {
        try {
          retversion = reader.readLine();
        } finally {
          reader.close();
        }
      } catch (IOException e) {
        println(e);