4.0.0 org.eclipse.papyrus.infra-properties org.eclipse.papyrus 0.0.1-SNAPSHOT org.eclipse.papyrus.infra.properties.ui 1.2.0-SNAPSHOT eclipse-plugin