Changed java.io.DataInputStream.readLine in classpath to return null when the underlying byte stream is empty
Changed java/lang/Integer to use val instead of nm for decode:

  public static Integer getInteger(String nm, Integer def) {
    String val = System.getProperty(nm);
    if (val == null) return def;
    try {
	//	System.out.println("val is " + val);
      return decode(val);
    } catch (NumberFormatException e) {
      return def;
    }
  }

