Community
Participate
Working Groups
Created attachment 178719 [details] patch The Graphiti project released their first milestone 0.7.0 RC1. Attached is a patch that switches the JPA Editor build from the Graphiti nightly repository to the 0.7.0 RC1 repository.
Created attachment 178720 [details] Second version The patch was a little bit incompatible with the current version in HEAD, so I've changed it a little
The patch was submitted
Stephan, You've submitted the patch to the wrong project. The change should be made in the parent pom.xml, which is part of the org.eclipse.jpt.ui.diagrameditor.releng project. This is what the initial patch does. Your patch changes the pom.xml of the org.eclipse.jpt.ui.diagrameditor, which is not the best place to keep p2 repository dependencies. Please, revert your patch from org.eclipse.jpt.ui.diagrameditor and submit the initial patch to org.eclipse.jpt.ui.diagrameditor.releng.
Ooops, my mistake ...
The patch is submitted.
Perfect