eclipse plugin: added mouse hover info for stuff