normalised names for Isabelle/Eclipse feature and repository modules: isabelle.eclipse.feature and isabelle.eclipse.repository