maven psteclipse:eclipse-plugin updated

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@610 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
old eclipse module removed from core
new version of vdmt 1.0.3
astgen maven plugin pom added 1.0.0

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@799 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
Make for windows added
make install
make clean

pom files updated with new scm, deploy repo and site info

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@941 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
POM url tags removed. Sites added for vdmt, astgen and pst maven

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@960 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
[maven-release-plugin] prepare release 2.0.0

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@1074 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
[maven-release-plugin] prepare for next development iteration

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@1076 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
tool added to pack the examples from SVN into a eclipse workspace zip

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@1252 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
ASTGen plugin for maven added astg with goal java and vdm

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@1531 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
TreeGen maven project added

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@2146 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
astg removed from ast and poms, will be replaced by treegen

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@2159 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@2210 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@2290 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
new overall Maven configuration. Main change is that the IDE now uses only the maven eclipse plug-in. A lot of unused configurations have also been removed (mainly because they are inherited from super poms and dont need to be repeated). 


The IDE can now be build from the ide/build artifact by deploy which produces target/RCP with all platforms *Required an Eclipse installation with delta package and settings configuration in .m2

The new Maven configuration supports Maven 3.

General setup instructions are:
1. check out trunk
2. core/ run mvn install
3. ide/ run mvn install -P nocompile
4. trunk run mvn eclipse:eclipse
5. ide/ run mvn eclipse:eclipse

Now the projects can be imported in Eclipse through the import existing Maven projects. The reason for the repeated eclipse:eclipse is that it second one uses the .classpath to sync the runtime config in the MANIFEST.MF.

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@3509 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
Update all (more) the POMs!

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@3652 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
Work towards getting mvn install in the root to just work
more progess(?) on fixing the build
no message

git-svn-id: https://overture.svn.sourceforge.net/svnroot/overture/trunk@3678 2b2d4d09-c93c-414a-ad04-6e973f5c1cff
Merge commit '37794bc44652d00119c07cb44d4a158339de6e0d'
Merge branch 'pre-astv2-merge' into astV2

Conflicts:
	core/pom.xml
	ide/build/build.properties
	ide/build/build.xml
	ide/build/copyProjects.xml
	ide/build/pom.xml
	ide/builders/pom.xml
	ide/builders/vdmj/META-INF/MANIFEST.MF
	ide/builders/vdmj/build.properties
	ide/builders/vdmj/pom.xml
	ide/builders/vdmj/src/main/java/org/overture/ide/builders/vdmj/BuilderPp.java
	ide/builders/vdmj/src/main/java/org/overture/ide/builders/vdmj/BuilderRt.java
	ide/builders/vdmj/src/main/java/org/overture/ide/builders/vdmj/BuilderSl.java
	ide/builders/vdmj/src/main/java/org/overture/ide/builders/vdmj/VdmjBuilder.java
	ide/core/META-INF/MANIFEST.MF
	ide/core/build.properties
	ide/core/pom.xml
	ide/core/src/main/java/org/overture/ide/core/ElementChangedEvent.java
	ide/core/src/main/java/org/overture/ide/core/ExternalSourceReferenceManager.java
	ide/core/src/main/java/org/overture/ide/core/IParent.java
	ide/core/src/main/java/org/overture/ide/core/IVdmElement.java
	ide/core/src/main/java/org/overture/ide/core/IVdmElementDelta.java
	ide/core/src/main/java/org/overture/ide/core/IVdmModel.java
	ide/core/src/main/java/org/overture/ide/core/SourceReferenceManager.java
	ide/core/src/main/java/org/overture/ide/core/ast/VdmModel.java
	ide/core/src/main/java/org/overture/ide/core/builder/SafeBuilder.java
	ide/core/src/main/java/org/overture/ide/core/builder/VdmCoreBuilder.java
	ide/core/src/main/java/org/overture/ide/core/parser/AbstractParserParticipant.java
	ide/core/src/main/java/org/overture/ide/core/parser/SourceParserManager.java
	ide/core/src/main/java/org/overture/ide/core/resources/IVdmProject.java
	ide/core/src/main/java/org/overture/ide/core/resources/IVdmSourceUnit.java
	ide/core/src/main/java/org/overture/ide/core/resources/VdmSourceUnit.java
	ide/core/src/main/java/org/overture/ide/core/utility/FileUtility.java
	ide/debug/META-INF/MANIFEST.MF
	ide/debug/build.properties
	ide/debug/pom.xml
	ide/debug/src/main/java/org/overture/ide/debug/core/IDebugConstants.java
	ide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java
	ide/debug/src/main/java/org/overture/ide/debug/ui/launchconfigurations/DebugTypeSelectionDialog.java
	ide/debug/src/main/java/org/overture/ide/debug/ui/launchconfigurations/MethodSearchEngine.java
	ide/debug/src/main/java/org/overture/ide/debug/ui/launchconfigurations/VdmLaunchShortcut.java
	ide/debug/src/main/java/org/overture/ide/debug/ui/launching/AbstractVdmMainLaunchConfigurationTab.java
	ide/debug/src/main/java/org/overture/ide/debug/ui/model/VdmLineBreakpointAdapter.java
	ide/features/core/feature.xml
	ide/features/rcp/feature.xml
	ide/help/META-INF/MANIFEST.MF
	ide/help/pom.xml
	ide/parsers/pom.xml
	ide/parsers/vdmj/META-INF/MANIFEST.MF
	ide/parsers/vdmj/build.properties
	ide/parsers/vdmj/pom.xml
	ide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmPp.java
	ide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmSl.java
	ide/platform/META-INF/MANIFEST.MF
	ide/platform/pom.xml
	ide/platform/src/main/java/org/overture/ide/platform/splash/SplashHandler.java
	ide/plugins/coverageeditor/META-INF/MANIFEST.MF
	ide/plugins/coverageeditor/pom.xml
	ide/plugins/coverageeditor/src/main/java/org/overture/ide/plugins/coverageeditor/editor/CoverageEditor.java
	ide/plugins/csk/META-INF/MANIFEST.MF
	ide/plugins/csk/pom.xml
	ide/plugins/externaleditor/META-INF/MANIFEST.MF
	ide/plugins/externaleditor/pom.xml
	ide/plugins/latex/META-INF/MANIFEST.MF
	ide/plugins/latex/build.properties
	ide/plugins/latex/pom.xml
	ide/plugins/latex/src/main/java/org/overture/ide/plugins/latex/actions/LatexCoverageAction.java
	ide/plugins/pom.xml
	ide/plugins/poviewer/META-INF/MANIFEST.MF
	ide/plugins/poviewer/build.properties
	ide/plugins/poviewer/pom.xml
	ide/plugins/poviewer/src/main/java/org/overture/ide/plugins/poviewer/actions/ViewPosAction.java
	ide/plugins/poviewer/src/main/java/org/overture/ide/plugins/poviewer/actions/ViewPosActionPp.java
	ide/plugins/poviewer/src/main/java/org/overture/ide/plugins/poviewer/actions/ViewPosActionSl.java
	ide/plugins/poviewer/src/main/java/org/overture/ide/plugins/poviewer/view/PoOverviewTableView.java
	ide/plugins/poviewer/src/main/java/org/overture/ide/plugins/poviewer/view/PoTableView.java
	ide/plugins/proofsupport/pom.xml
	ide/plugins/quickinterpreter/META-INF/MANIFEST.MF
	ide/plugins/quickinterpreter/pom.xml
	ide/plugins/showtrace/META-INF/MANIFEST.MF
	ide/plugins/showtrace/build.properties
	ide/plugins/showtrace/pom.xml
	ide/plugins/traces/META-INF/MANIFEST.MF
	ide/plugins/traces/build.properties
	ide/plugins/traces/pom.xml
	ide/plugins/traces/src/main/java/org/overture/ide/plugins/traces/internal/VdmjTracesHelper.java
	ide/plugins/umltrans/META-INF/MANIFEST.MF
	ide/plugins/umltrans/build.properties
	ide/plugins/umltrans/pom.xml
	ide/pom.xml
	ide/ui/META-INF/MANIFEST.MF
	ide/ui/build.properties
	ide/ui/plugin.xml
	ide/ui/pom.xml
	ide/ui/src/main/java/org/overture/ide/ui/editor/core/VdmEditor.java
	ide/ui/src/main/java/org/overture/ide/ui/editor/core/VdmExternalEditor.java
	ide/ui/src/main/java/org/overture/ide/ui/editor/core/VdmSourceViewerConfiguration.java
	ide/ui/src/main/java/org/overture/ide/ui/editor/syntax/TupleSelectRule.java
	ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/ImportsContainer.java
	ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/ThreadSupport.java
	ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/VdmElementImageProvider.java
	ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/VdmElementLabels.java
	ide/ui/src/main/java/org/overture/ide/ui/navigator/VdmNavigatorCustomContentProvider.java
	ide/ui/src/main/java/org/overture/ide/ui/navigator/VdmNavigatorLabelProvider.java
	ide/ui/src/main/java/org/overture/ide/ui/outline/DisplayImageCreator.java
	ide/ui/src/main/java/org/overture/ide/ui/outline/DisplayNameCreator.java
	ide/ui/src/main/java/org/overture/ide/ui/outline/ExecutableFilter.java
	ide/ui/src/main/java/org/overture/ide/ui/outline/MemberFilter.java
	ide/ui/src/main/java/org/overture/ide/ui/outline/OutlineSorter.java
	ide/ui/src/main/java/org/overture/ide/ui/outline/VdmContentOutlinePage.java
	ide/ui/src/main/java/org/overture/ide/ui/outline/VdmOutlineTreeContentProvider.java
	ide/ui/src/main/java/org/overture/ide/ui/popup/actions/NewAction.java
	ide/ui/src/main/java/org/overture/ide/ui/templates/VdmCompleteProcesser.java
	ide/ui/src/main/java/org/overture/ide/ui/utility/EditorUtility.java
	ide/vdmpp/core/META-INF/MANIFEST.MF
	ide/vdmpp/core/pom.xml
	ide/vdmpp/debug/META-INF/MANIFEST.MF
	ide/vdmpp/debug/pom.xml
	ide/vdmpp/debug/src/main/java/org/overture/ide/vdmpp/debug/ui/launchconfigurations/VdmPpApplicationLaunchShortcut.java
	ide/vdmpp/debug/src/main/java/org/overture/ide/vdmpp/debug/ui/launching/VdmPpMainLaunchConfigurationTab.java
	ide/vdmpp/pom.xml
	ide/vdmpp/ui/META-INF/MANIFEST.MF
	ide/vdmpp/ui/pom.xml
	ide/vdmrt/core/META-INF/MANIFEST.MF
	ide/vdmrt/core/pom.xml
	ide/vdmrt/debug/META-INF/MANIFEST.MF
	ide/vdmrt/debug/pom.xml
	ide/vdmrt/debug/src/main/java/org/overture/ide/vdmrt/debug/ui/launchconfigurations/VdmRtApplicationLaunchShortcut.java
	ide/vdmrt/debug/src/main/java/org/overture/ide/vdmrt/debug/ui/launching/VdmRtMainLaunchConfigurationTab.java
	ide/vdmrt/pom.xml
	ide/vdmrt/ui/META-INF/MANIFEST.MF
	ide/vdmrt/ui/pom.xml
	ide/vdmsl/core/META-INF/MANIFEST.MF
	ide/vdmsl/core/pom.xml
	ide/vdmsl/debug/META-INF/MANIFEST.MF
	ide/vdmsl/debug/pom.xml
	ide/vdmsl/debug/src/main/java/org/overture/ide/vdmsl/debug/ui/launchconfigurations/VdmSlApplicationLaunchShortcut.java
	ide/vdmsl/debug/src/main/java/org/overture/ide/vdmsl/debug/ui/launching/VdmSlMainLaunchConfigurationTab.java
	ide/vdmsl/pom.xml
	ide/vdmsl/ui/META-INF/MANIFEST.MF
	ide/vdmsl/ui/pom.xml
	pom.xml
	tools/pom.xml
Fixing the poms for version 2.2.0