4.0.0 org.eclipse.papyrus.infra-types org.eclipse.papyrus 0.0.1-SNAPSHOT org.eclipse.papyrus.infra.types.editor 3.0.0-SNAPSHOT eclipse-plugin