@Override void saveProperties(Properties props) { super.saveProperties(props); if (getMinPlatformToolsRevision() != MIN_PLATFORM_TOOLS_REV_INVALID) { props.setProperty( PROP_MIN_PLATFORM_TOOLS_REV, Integer.toString(getMinPlatformToolsRevision())); } }