thisName,
properties.getProperty(thisName));
} else {
String paramID = idMap.getIDByLongFlag(thisName);
if (paramID != null) {
defaults.addDefault(
paramID,
properties.getProperty(thisName));
} else if (thisName.length() == 1) {
paramID = idMap.getIDByShortFlag(thisName.charAt(0));
if (paramID != null) {