System.out.println("***Utilities.getIntFromDataInputStream() EOF exception!***");
System.out.println("***Utilities.readInt() EOF exception!***");
  static public int getIntFromDataInputStream(DataInputStream stream)  {    int value = 0;    try {      value = stream.readInt();    } catch (EOFException e) {      if (debug>=3)         System.out.println("***Utilities.getIntFromDataInputStream() EOF exception!***");      return EOF_int;    }catch (IOException e) {      System.out.println("***Utilities.getIntFromDataInputStream() IO exception!***");      new Exception().printStackTrace();      System.exit(-1);    }    return value;  }