private int parse(String value, int defaultValue) {
		if (value != null) {
			try {
				return Integer.parseInt(value);
			}
			catch (NumberFormatException e) {
				// don't care
			}
		}
		return defaultValue;
	}
Get the int value for the given string.

@param value the string value to parse
@param defaultValue return this value if a NumberFormatException is
           thrown during the parseInt() method
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/FrontEndTool.java