[Jenkins]Jenkins

SuccessChanges

Summary

  1. [maven-release-plugin] prepare for next development iteration (commit: 2a9fecf) (details)
  2. Fix maps with invariant typed domains, fixes #731 (commit: b265cea) (details)
  3. Add a hashCode to InvariantValue to return a constant for (commit: 6a89546) (details)
  4. Provide more accurate error location for predicates, fixes #732 (commit: 8ca5489) (details)
  5. Bump version number (commit: 185e89d) (details)
  6. Waits for result of coverage and prints message Fixes #716 (commit: 134c0be) (details)
  7. Fix RecordValue.compareTo to call super.compareTo for different types, (commit: a84093c) (details)
  8. [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) (details)
Commit 2a9fecf0fcc849f2acc74a74e3378934387aa88e by idhugo
[maven-release-plugin] prepare for next development iteration

Bump ide/ to version 2.7.5-SNAPSHOT
 (commit: 2a9fecf)
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/debug/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedcore/testframework/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifieddocumentation/pom.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedide/help/pom.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/product/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedpom.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/pom.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/product/overture.product
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/ui/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/core/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
Commit b265cea5f95d388eed2ab4fd41fff1fa1a6b14c0 by nick.battle
Fix maps with invariant typed domains, fixes #731
 (commit: b265cea)
The file was modifiedcore/interpreter/src/test/resources/classesClassic/SAFERProofPP/SAFERProofPP.result
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/pattern/AllNamedValuesLocator.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/ValueMap.java
Commit 6a89546809c5c3231196859ad7c4b5df494a2b95 by nick.battle
Add a hashCode to InvariantValue to return a constant for
equality-enabled values, fixes #731
 (commit: 6a89546)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java
Commit 8ca5489a8a03330fd9c623f15d350eab6605518a by nick.battle
Provide more accurate error location for predicates, fixes #732
 (commit: 8ca5489)
The file was modifiedcore/interpreter/src/test/resources/Interpreter_SL_Modules_TestSuite_External/CORE/expr/iota/iota-04.vdm.result
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java
Commit 185e89dc7861049c84abeedbb67f553dc9295b19 by idhugoid
Bump version number
 (commit: 185e89d)
The file was modifiedide/help/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedide/plugins/features/pom.xml
The file was modifiedide/platform/pom.xml
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedpom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedide/product/pom.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedexternals/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedide/builders/pom.xml
The file was modifiedide/core/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedide/vdmrt/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/features/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedide/debug/pom.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedcore/commandline/pom.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifieddocumentation/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedcore/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/ui/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
Commit 134c0be847a9f1b9aa2def2b336692d95fe36361 by idhugoid
Waits for result of coverage and prints message Fixes #716
 (commit: 134c0be)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/packets/DbgpPacketReceiver.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugTarget.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/commands/DbgpOvertureCommands.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReaderV2.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/commands/IDbgpOvertureCommands.java
Commit a84093ca06c40b3a482b04959eb1e7ac468b95f5 by nick.battle
Fix RecordValue.compareTo to call super.compareTo for different types,
fixes #734
 (commit: a84093c)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/RecordValue.java
Commit c179d6bed2cef0f05399434b731d680bdd71c9fd by idhugoid
[maven-release-plugin] prepare release Release/3.0.0

Bump ide/ to version 3.0.0
 (commit: c179d6b)
The file was modifiedide/plugins/features/poviewer/feature.xml
The file was modifiedide/product/pom.xml
The file was modifiedcore/parser/pom.xml
The file was modifiedcore/annotations/provided/pom.xml
The file was modifiedide/vdmpp/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmsl/ui/pom.xml
The file was modifiedcore/codegen/isagen/pom.xml
The file was modifieddocumentation/releasenotes/pom.xml
The file was modifiedide/parsers/vdmj/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/prettyprinter/pom.xml
The file was modifiedide/plugins/features/latex/pom.xml
The file was modifiedide/vdmrt/core/META-INF/MANIFEST.MF
The file was modifiedide/platform/pom.xml
The file was modifiedide/vdmsl/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/uml2/feature.xml
The file was modifiedcore/pog/pom.xml
The file was modifiedcore/testing/samples/pom.xml
The file was modifiedcore/codegen/ir/pom.xml
The file was modifiedide/ui.tests/pom.xml
The file was modifiedide/plugins/pom.xml
The file was modifiedcore/ast/pom.xml
The file was modifiedide/plugins/features/developerutils/pom.xml
The file was modifiedide/features/rcp/feature.xml
The file was modifiedide/plugins/features/quickinterpreter/pom.xml
The file was modifieddocumentation/pom.xml
The file was modifiedide/vdmrt/debug/META-INF/MANIFEST.MF
The file was modifiedide/plugins/rttraceviewer/pom.xml
The file was modifiedide/ui/META-INF/MANIFEST.MF
The file was modifiedide/ui/pom.xml
The file was modifiedide/vdmsl/pom.xml
The file was modifiedide/parsers/pom.xml
The file was modifiedide/parsers/vdmj/pom.xml
The file was modifiedide/plugins/features/coverageeditor/feature.xml
The file was modifiedide/plugins/features/rttraceviewer/feature.xml
The file was modifiedpom.xml
The file was modifiedexternals/pom.xml
The file was modifiedide/plugins/javagen/pom.xml
The file was modifiedcore/combinatorialtesting/ctutils/pom.xml
The file was modifiedcore/testing/framework/pom.xml
The file was modifiedide/plugins/externaleditor/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2.tests/META-INF/MANIFEST.MF
The file was modifiedcore/prettyprinting/pom.xml
The file was modifiedide/plugins/csk/META-INF/MANIFEST.MF
The file was modifiedcore/testframework/pom.xml
The file was modifiedide/plugins/features/javagen/pom.xml
The file was modifiedcore/commandline/pom.xml
The file was modifiedide/plugins/quickinterpreter/pom.xml
The file was modifiedide/plugins/features/rttraceviewer/pom.xml
The file was modifiedcore/combinatorialtesting/pom.xml
The file was modifiedide/plugins/csk/pom.xml
The file was modifiedide/vdmpp/core/pom.xml
The file was modifiedide/vdmpp/debug/pom.xml
The file was modifiedide/builders/vdmj/META-INF/MANIFEST.MF
The file was modifiedide/plugins/coverageeditor/META-INF/MANIFEST.MF
The file was modifiedcore/codegen/pom.xml
The file was modifiedide/plugins/quickinterpreter/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/ui/pom.xml
The file was modifiedide/plugins/uml2.tests/pom.xml
The file was modifiedide/vdmrt/debug/pom.xml
The file was modifiedide/platform/META-INF/MANIFEST.MF
The file was modifiedide/vdmpp/ui/pom.xml
The file was modifiedcore/testing/pom.xml
The file was modifiedide/pom.xml
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/pom.xml
The file was modifiedcore/annotations/pom.xml
The file was modifiedide/features/pom.xml
The file was modifiedide/plugins/developerutils/pom.xml
The file was modifiedide/vdmsl/core/pom.xml
The file was modifiedcore/codegen/codegen-maven-plugin/pom.xml
The file was modifiedide/product/overture.product
The file was modifiedide/plugins/features/latex/feature.xml
The file was modifiedide/features/core/feature.xml
The file was modifiedide/vdmsl/ui/META-INF/MANIFEST.MF
The file was modifiedide/debug/META-INF/MANIFEST.MF
The file was modifiedide/debug/pom.xml
The file was modifiedide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/quickinterpreter/feature.xml
The file was modifiedcore/codegen/codegen-runtime/pom.xml
The file was modifiedide/plugins/combinatorialtesting/pom.xml
The file was modifiedcore/annotations/examples/pom.xml
The file was modifiedcore/typechecker/pom.xml
The file was modifiedcore/combinatorialtesting/ctruntime/pom.xml
The file was modifiedide/vdmsl/debug/pom.xml
The file was modifiedcore/interpreter/pom.xml
The file was modifiedide/plugins/developerutils/META-INF/MANIFEST.MF
The file was modifiedide/plugins/externaleditor/pom.xml
The file was modifiedide/vdmpp/pom.xml
The file was modifiedide/plugins/uml2/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/feature.xml
The file was modifiedide/plugins/latex/pom.xml
The file was modifiedide/vdmpp/debug/META-INF/MANIFEST.MF
The file was modifiedide/core/pom.xml
The file was modifiedide/plugins/features/developerutils/feature.xml
The file was modifiedcore/codegen/vdm2jml/pom.xml
The file was modifiedide/features/core/pom.xml
The file was modifiedide/builders/vdmj/pom.xml
The file was modifiedide/features/rcp/pom.xml
The file was modifiedcore/prettyprinting/npp/pom.xml
The file was modifiedide/plugins/features/csk/pom.xml
The file was modifiedide/plugins/features/javagen/feature.xml
The file was modifiedcore/codegen/vdm2jml-runtime/pom.xml
The file was modifiedide/plugins/features/uml2/pom.xml
The file was modifiedcore/codegen/platform/pom.xml
The file was modifiedide/vdmrt/ui/META-INF/MANIFEST.MF
The file was modifiedide/builders/pom.xml
The file was modifiedcore/codegen/javagen-test/pom.xml
The file was modifiedide/plugins/poviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/combinatorialtesting/pom.xml
The file was modifiedide/plugins/features/csk/feature.xml
The file was modifiedcore/isapog/pom.xml
The file was modifiedide/plugins/poviewer/pom.xml
The file was modifiedide/plugins/latex/META-INF/MANIFEST.MF
The file was modifiedide/help/META-INF/MANIFEST.MF
The file was modifiedide/plugins/uml2/pom.xml
The file was modifiedcore/codegen/javagen/pom.xml
The file was modifiedide/core/META-INF/MANIFEST.MF
The file was modifiedide/plugins/features/poviewer/pom.xml
The file was modifiedide/plugins/rttraceviewer/META-INF/MANIFEST.MF
The file was modifiedide/plugins/coverageeditor/pom.xml
The file was modifiedide/vdmpp/ui/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/core/pom.xml
The file was modifiedcore/pom.xml
The file was modifiedide/vdmsl/core/META-INF/MANIFEST.MF
The file was modifiedide/vdmrt/pom.xml
The file was modifiedide/help/pom.xml
The file was modifiedide/plugins/features/coverageeditor/pom.xml