Re-activate metrics plugin

[stephan]

The metrics plugin has been deactivated / is not contained in current builds. A quick look, however, showed that it is still operational with minor fixes. So we should re-activate the plugin and ship it with the OTDT.

(Note: a separate feature is of little use, since the plugin is quite small in size).

[stephan]

Some (mostly organizational) progress:

r22488 pulls the plugin into trunk.

r22489 works around Eclipse bug 278745 (needs transitive dependencies), should be reverted at 3.5.1

r22494 re-organizes the metrics views: instead of creating a clone "Object Teams" view category, make "Metrics" a sub-category of "Object Teams". Note, that this currently has the same effect as putting these views directly into the "Object Teams" category (id=org.objectteams.otdt.ui).

r22495 re-integrates the plugin into the OTDT feature.

[stephan]

r22496 converts metrics calculation into a background job.

• make MetricsRun extend Job
• call setUser(true) to enable progress dialog with option to send to background
• use progress monitors throughout, setting labels and marking ticks of work done
• setup a JobChangeListener to call ensureVisible when the job has finished.

[stephan]

r22497 works around a CCE that is discussed in Eclipse bug 246409.

[stephan]

r22498 brings some UI changes:

Move the metrics action from the context menu to the "Source" menu

• need to use an actionSet instead of a menuContribution
• as a consequence, contributing to an existing menu is exacerbated by Eclipse bug 15670: need to copy the original menu declaration from JDT/UI

Behavior changes:

• at the end of the run the MetricsRunView is brought to top
• when double clicking a run, its results are brought to top
• when double clicking a java element in the result table, open it in an editor, fall back to showing a message about the metrics itself only when double-clicking the toplevel metrics node

[stephan]

Resolved: deployed in current build.