private static void setStringAttribute(
ILaunchConfigurationWorkingCopy workingCopy,
GWTLaunchAttributes launchAttribute,
String newValue) {
String attributeQualifiedName = launchAttribute.getQualifiedName();
if (shouldClearAttribute(launchAttribute.getDefaultValue(), newValue)) {
clearAttribute(workingCopy, attributeQualifiedName);
} else {
workingCopy.setAttribute(attributeQualifiedName, newValue);
}
}
public static void clearAttribute(
ILaunchConfigurationWorkingCopy workingCopy, GWTLaunchAttributes launchAttribute) {
workingCopy.setAttribute(launchAttribute.getQualifiedName(), (String) null);
}
