diff options
Diffstat (limited to 'plugins/profile-tool/org.eclipse.papyrus.resource.edit/src/org/eclipse/papyrus/resource/provider/ResourceEditPlugin.java')
-rw-r--r-- | plugins/profile-tool/org.eclipse.papyrus.resource.edit/src/org/eclipse/papyrus/resource/provider/ResourceEditPlugin.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/profile-tool/org.eclipse.papyrus.resource.edit/src/org/eclipse/papyrus/resource/provider/ResourceEditPlugin.java b/plugins/profile-tool/org.eclipse.papyrus.resource.edit/src/org/eclipse/papyrus/resource/provider/ResourceEditPlugin.java index c55f052be48..b4aa6cccaef 100644 --- a/plugins/profile-tool/org.eclipse.papyrus.resource.edit/src/org/eclipse/papyrus/resource/provider/ResourceEditPlugin.java +++ b/plugins/profile-tool/org.eclipse.papyrus.resource.edit/src/org/eclipse/papyrus/resource/provider/ResourceEditPlugin.java @@ -44,7 +44,7 @@ public final class ResourceEditPlugin extends EMFPlugin { * @generated
*/
public ResourceEditPlugin() {
- super(new ResourceLocator[]{});
+ super(new ResourceLocator[] {});
}
/**
|