--- a/platform-extensions/org.ossmeter.platform.metricmanager.rascal/plugin.xml
+++ b/platform-extensions/org.ossmeter.platform.metricmanager.rascal/plugin.xml
@@ -6,17 +6,9 @@
<metricProviderManager manager="org.ossmeter.metricprovider.rascal.RascalMetricProviderManager">
</metricProviderManager>
</extension>
-
-
-
-
-
-
-
-
-
-
-
+ <extension
+ point="rascal_eclipse.rascalLibrary">
+ </extension>
<extension point="com.googlecode.pongo.runtime.osgi">
<class name="org.ossmeter.metricprovider.rascal.trans.model.RascalMetrics"/>