/**
* This looks up a string in plugin.properties, making a substitution.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
*
* @generated
*/
private static String getString(String key, Object s1) {
return ProVerVisualEditorPlugin.INSTANCE.getString(key, new Object[] {s1});
}
/**
* This looks up a string in the plugin's plugin.properties file.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
*
* @generated
*/
private static String getString(String key) {
return ProVerVisualEditorPlugin.INSTANCE.getString(key);
}
