code: public static int[] intsFrom(InputStream is) {
          ArrayList<Integer> ints = new ArrayList<Integer>();
          for (String line : new LineReader(is)) {
              if (line.length() > 0 && !line.startsWith("#"))
                  if (line.charAt(0) == '\"')// remove quotes
                      ints.add(Integer.parseInt(line.substring(1,
                              line.length() - 1)));
                  else
                      ints.add(Integer.parseInt(line));
          }
          // copy it, because we can't cast from Integer to int...
          int[] ret = new int[ints.size()];
          for (int i = 0; i < ints.size(); i++) {
              ret[i] = ints.get(i);
          }
          return ret;
      }
docs: One integer per line. Empty lines and lines starting with # are skipped.
  
  @return an array of ints from this file