Method getIntegerProperty

jnode-core/src/jnode/main/MainHandler.java:77–79

(String property, int def)

	}

	public int getIntegerProperty(String property, int def) {
		return new Integer(getProperty(property, Integer.toString(def)));
	}

	public static MainHandler getCurrentInstance() {
		return instance;