/** * 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); }