Method readInt

app/src/processing/app/UpdateCheck.java:130–139

(String filename)

  protected int readInt(String filename) throws IOException {
    URL url = new URL(filename);
    BufferedReader reader = null;
    try {
      reader = new BufferedReader(new InputStreamReader(url.openStream()));
      return Integer.parseInt(reader.readLine());
    } finally {
      IOUtils.closeQuietly(reader);
    }
  }
}