public static String getParameterValue(IExtension ext, String key, String defaultValue) {
String val = PluginUtilities.getAttribute(ext, key);
if (val == null) {
return defaultValue;
}
if (isProtegeProperty(val)) {
return getProtegeProperty(val);
} else {
return val;
}
}
