Method getProp

app/src/main/java/com/sun/mail/util/PropUtil.java:123–129

Get the value of the specified property. If the "get" method returns null, use the getProperty method, which might cascade to a default Properties object.

(Properties props, String name)

     * which might cascade to a default Properties object.
     */
    private static Object getProp(Properties props, String name) {
	Object val = props.get(name);
	if (val != null)
	    return val;
	else
	    return props.getProperty(name);
    }

    /**
     * Interpret the value object as an integer,