public int getIProperty(String key){	
		// does this property exist, either saved or in the defaults?
		if (props.getProperty(key) != null) {
			try {
				NumberFormat format = NumberFormat.getInstance(Locale.getDefault());
				Number number = format.parse(props.getProperty(key));
				return number.intValue();
			} catch (NumberFormatException m) {
				Debug.print( key + " property is corrupted read from file: " + props.getProperty(key));
			} catch (ParseException e) {
				Debug.print( key + " property is corrupted read from file: " + props.getProperty(key));
			}
		} else {
			Debug.print("Could not find property " + key);
		}
		
		
		return 0;

	}