/org.eclipse.tips.ui/src/