org.povclipse2.editors.hovers