Adjustment to dependencies in Metric's plugin.xml
Brought to you by:
sauerf
Attaching patch which contains two changes:
1) org.junit dependency is optional as I believe it is not
required at all in runtime and Metrics can in practice
operate without that
2) org.eclipse.ui.workbench is exported, so that plugins
that access MetricsPlugin class do not need to declare
this dependency themselves when they really don't
require the workbench plugin (this is again related to
eventual splitting the UI and non-UI portions of Metrics)
Patch to plugin.xml covering the request
Logged In: YES
user_id=1004492
I've just found out that the org.eclipse.jface dependency
should also be reexported. This change is not included in the
original patch.