Skip to content

Console Output

Started by upstream job "buckminster-ocl-core-luna-master" build number 1009
Checkout:workspace / /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace - hudson.remoting.LocalChannel@d1c70a
Using strategy: Default
Last Built Revision: Revision 6d62514ef5238a0d9ca8d1acd7954d7ae042b6c4 (origin/master)
Checkout:org.eclipse.ocl.git / /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git - hudson.remoting.LocalChannel@d1c70a
Fetching changes from the remote Git repository
Fetching upstream changes from git://git.eclipse.org/gitroot/ocl/org.eclipse.ocl.git
Commencing build of Revision 6d62514ef5238a0d9ca8d1acd7954d7ae042b6c4 (origin/master)
Checking out Revision 6d62514ef5238a0d9ca8d1acd7954d7ae042b6c4 (origin/master)
Cleaning workspace
Deleting old artifacts from #20
Starting xvnc
[workspace] $ Xvnc :330 -geometry 1024x768 -depth 24 -ac
[workspace] $ /bin/sh -xe /tmp/hudson1025210078710589483.sh
+ chmod +x /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-consumers-pre-buckminster.sh
+ /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-consumers-pre-buckminster.sh
09/03/2014 18:18:33 Xvnc version X.org/xf4vnc custom version
09/03/2014 18:18:33 Copyright (C) 2001-2004 Alan Hourihane.
09/03/2014 18:18:33 Copyright (C) 2000-2004 Constantin Kaplinsky
09/03/2014 18:18:33 Copyright (C) 1999 AT&T Laboratories Cambridge
09/03/2014 18:18:33 All Rights Reserved.
09/03/2014 18:18:33 See http://www.tightvnc.com/ for information on TightVNC
09/03/2014 18:18:33 See http://xf4vnc.sf.net for xf4vnc-specific information
09/03/2014 18:18:33 Desktop name 'x11' (hipp3:330)
09/03/2014 18:18:33 Protocol versions supported: 3.7, 3.3
09/03/2014 18:18:33 RGB format 8 8 8
09/03/2014 18:18:33 Listening for VNC connections on TCP port 6230
[dix] Could not init font path element /usr/share/fonts/TTF/, removing from list!
[dix] Could not init font path element /usr/share/fonts/OTF, removing from list!
(EE) config/hal: NewInputDeviceRequest failed (2)
(EE) config/hal: NewInputDeviceRequest failed (2)
[workspace] $ /shared/common/jdk1.6.0-latest/bin/java -Dbuckminster.output.root=/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buckminster.output -Dbuckminster.temp.root=/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buckminster.temp -Xmx256m -Dcheckout.location=/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace -Dreference.repository=https://hudson.eclipse.org/ocl/job/buckminster-ocl-core-luna-master/lastSuccessfulBuild/artifact/MDT-OCL.p2.repository/ -XX:PermSize=64M -XX:MaxPermSize=128M -jar /shared/common/buckminster-4.2/plugins/org.eclipse.equinox.launcher_1.3.0.v20120522-1813.jar -application org.eclipse.buckminster.cmdline.headless -data /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buildroot/buckminster.workspace --loglevel info -S /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-consumers-buckminster.script
INFO:  setpref 'complianceLevel=1.5'
INFO:  importtargetdefinition 'file:///home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/APIBaseLine.target'
INFO:  addbaseline '-A' 'Eclipse OCL API Base Line'
INFO:  setpref 'targetPlatformPath=/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buildroot/target.platform'
WARN:  Target platform directory '/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buildroot/target.platform' does not exist and will be created
INFO:  import '--properties' '/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buildroot/build.properties' 'org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/releng/ocl-consumers-all.mspec'
INFO:  Resetting target platform Directory /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/buildroot/target.platform
INFO:  Added Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git to the set of known repositories
INFO:  Connected project org.eclipse.ocl.examples.uml25 to Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git
INFO:  Connected project org.eclipse.ocl.examples.xtext.tests to Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git
INFO:  Connected project org.eclipse.ocl.examples.consumers.tests to Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git
INFO:  Connected project org.eclipse.ocl.releng.buckminster to Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git
INFO:  Connected project org.eclipse.ocl.releng.consumers.build-feature to Git repository at /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/.git
INFO:  Import complete.
INFO:  build
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/xtext/tests/XtextTestCase.java, line 366: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/xtext/tests/XtextTestCase.java, line 671: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/ValidateTests.java, line 1: Null type safety: The expression of type ResourceSet needs unchecked conversion to conform to '@NonNull ResourceSet'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/ValidateTests.java, line 1: Null type safety: The expression of type ResourceSet needs unchecked conversion to conform to '@NonNull ResourceSet'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/ValidateTests.java, line 231: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/ValidateTests.java, line 271: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/UsageTests.java, line 209: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/UsageTests.java, line 456: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/PivotTests.java, line 308: The value of the local variable asResource is not used
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/ImportTests.java, line 77: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 119: Potential null pointer access: The variable packageDescriptor may be null at this location
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 119: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 133: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 147: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 229: Potential null pointer access: The variable packageDescriptor may be null at this location
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 229: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 241: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 253: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 277: Potential null pointer access: The variable packageDescriptor may be null at this location
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 277: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 290: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 303: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 330: Potential null pointer access: The variable packageDescriptor may be null at this location
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 330: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 344: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/ecore/AbstractProjectMapTest.java, line 358: Null type safety: The expression of type StandaloneProjectMap.IResourceLoadStrategy needs unchecked conversion to conform to '@NonNull StandaloneProjectMap.IResourceLoadStrategy'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/PivotTestSuite.java, line 1243: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/EvaluateOclAnyOperationsTest4.java, line 739: Null type safety: The expression of type PrimitiveTypeId needs unchecked conversion to conform to '@NonNull TypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 1: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 1: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 1: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 1: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 271: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 273: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/pivot/tests/DelegatesTest.java, line 1191: Null type safety: The expression of type String needs unchecked conversion to conform to '@NonNull String'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 270: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 272: Null type safety: The expression of type Company needs unchecked conversion to conform to '@NonNull Company'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 273: Null type safety: The expression of type EList<Employee> needs unchecked conversion to conform to '@NonNull List<Employee>'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 274: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 275: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 312: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 314: Null type safety: The expression of type ClassId needs unchecked conversion to conform to '@NonNull TypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 315: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull TypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 316: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 369: Null type safety: The expression of type OrderedSetValue needs unchecked conversion to conform to '@NonNull OrderedSetValue'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 376: Null type safety: The expression of type EList<Employee> needs unchecked conversion to conform to '@NonNull List<Employee>'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 377: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 411: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 413: Null type safety: The expression of type EList<Employee> needs unchecked conversion to conform to '@NonNull List<Employee>'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 414: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 356: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 441: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 445: Null type safety: The expression of type EList<Employee> needs unchecked conversion to conform to '@NonNull List<Employee>'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 446: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 687: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 693: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull TypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/EmployeeImpl.java, line 929: Unnecessary @SuppressWarnings("unchecked")
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 190: Null type safety: The expression of type ExecutorStandardLibrary needs unchecked conversion to conform to '@NonNull ExecutorStandardLibrary'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 205: Null type mismatch: required '@NonNull SequenceValue' but the provided value is inferred as @Nullable
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 206: Null type safety: The expression of type EList<Employee> needs unchecked conversion to conform to '@NonNull List<Employee>'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 207: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 216: Null comparison always yields false: The variable any cannot be null at this location
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 216: Dead code
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/impl/CompanyImpl.java, line 219: Null type mismatch: required '@NonNull EnumerationLiteralId' but the provided value is inferred as @Nullable
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 83: Null type safety: The expression of type ClassId needs unchecked conversion to conform to '@NonNull ElementId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 85: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull TypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 86: Null type safety: The expression of type EnumerationId needs unchecked conversion to conform to '@NonNull TypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 87: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull TypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 89: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 89: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 90: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 90: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 91: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 91: Null type safety: The expression of type IntegerValue needs unchecked conversion to conform to '@NonNull IntegerValue'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 95: Null type safety: The expression of type IntegerRange needs unchecked conversion to conform to '@NonNull IntegerRange'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 92: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 93: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 93: Null type safety: The expression of type IntegerRange needs unchecked conversion to conform to '@NonNull IntegerRange'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 94: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 94: Null type safety: The expression of type IntegerRange needs unchecked conversion to conform to '@NonNull IntegerRange'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 95: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 100: Null type safety: The expression of type TupleTypeId needs unchecked conversion to conform to '@NonNull TupleTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 101: Null type safety: The expression of type TupleTypeId needs unchecked conversion to conform to '@NonNull TupleTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 102: Null type safety: The expression of type TupleTypeId needs unchecked conversion to conform to '@NonNull TupleTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 103: Null type safety: The expression of type CollectionTypeId needs unchecked conversion to conform to '@NonNull CollectionTypeId'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 114: Null type safety: The expression of type EcoreExecutorPackage needs unchecked conversion to conform to '@NonNull EcoreExecutorPackage'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 115: Null type safety: The expression of type EcoreExecutorPackage needs unchecked conversion to conform to '@NonNull EcoreExecutorPackage'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 116: Null type safety: The expression of type EcoreExecutorPackage needs unchecked conversion to conform to '@NonNull EcoreExecutorPackage'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 128: Null type safety: The expression of type EcoreExecutorType[] needs unchecked conversion to conform to '@NonNull ExecutorType[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 142: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 142: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 143: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 143: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 144: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 144: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 146: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 146: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 147: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 147: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 148: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 148: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 149: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 149: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 150: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 150: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 151: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 151: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 152: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 152: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 153: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 153: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 154: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 154: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 155: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 155: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 156: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 156: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 157: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 157: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 158: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 158: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 159: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 159: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 160: Null type safety: The expression of type EcoreExecutorEnumeration needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 160: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 162: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 162: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 163: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 163: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 164: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull ExecutorType'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 164: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 186: Null type safety: The expression of type DomainParameterTypes needs unchecked conversion to conform to '@NonNull DomainParameterTypes'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 186: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 187: Null type safety: The expression of type DomainTypeParameters needs unchecked conversion to conform to '@NonNull DomainTypeParameters'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 188: Null type safety: The expression of type DomainParameterTypes needs unchecked conversion to conform to '@NonNull DomainParameterTypes'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 188: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 189: Null type safety: The expression of type DomainTypeParameters needs unchecked conversion to conform to '@NonNull DomainTypeParameters'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 198: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 199: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 200: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 202: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 203: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 204: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 205: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 206: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 207: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 208: Null type safety: The expression of type EcoreExecutorType needs unchecked conversion to conform to '@NonNull DomainInheritance'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 265: Null type safety: The expression of type ExecutorFragment[] needs unchecked conversion to conform to '@NonNull ExecutorFragment[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 266: Null type safety: The expression of type ExecutorFragment[] needs unchecked conversion to conform to '@NonNull ExecutorFragment[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 267: Null type safety: The expression of type ExecutorFragment[] needs unchecked conversion to conform to '@NonNull ExecutorFragment[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 380: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 381: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 382: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 384: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 385: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 386: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 387: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 388: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 389: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 390: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 391: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 392: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 393: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
Warning: file /jobs/genie.modeling.mdt.ocl/ocl-luna-consumers/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/src/codegen/company/CodegencompanyTables.java, line 394: Null type safety: The expression of type ExecutorOperation[] needs unchecked conversion to conform to '@NonNull ExecutorOperation[]'
INFO:  junit '--launch' 'org.eclipse.ocl.examples.consumers.tests/.settings/org.eclipse.ocl.examples.consumers.tests (standalone).launch' '--flatXML' '--output' '/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/MDT-OCL.test.results/org.eclipse.ocl.examples.consumers.tests.xml'
INFO:  Starting test session org.eclipse.ocl.examples.consumers.tests (standalone)
INFO:  Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadEPackage...
INFO:    ...Failure [2.277s]
WARN:  junit.framework.AssertionFailedError: expected:<org.eclipse.papyrus.sysml.internal.impl.SysmlPackageImpl@1627c16 (name: sysml) (nsURI: http://www.eclipse.org/papyrus/0.7.0/SysML, nsPrefix: SysML)> but was:<org.eclipse.emf.ecore.impl.EPackageImpl@68c0890f (name: sysml) (nsURI: http://www.eclipse.org/papyrus/0.7.0/SysML, nsPrefix: SysML)>
	at junit.framework.Assert.fail(Assert.java:57)
	at junit.framework.Assert.failNotEquals(Assert.java:329)
	at junit.framework.Assert.assertEquals(Assert.java:78)
	at junit.framework.Assert.assertEquals(Assert.java:86)
	at junit.framework.TestCase.assertEquals(TestCase.java:253)
	at org.eclipse.ocl.examples.test.ecore.AbstractProjectMapTest.doTestProjectMap_LoadEPackage(AbstractProjectMapTest.java:235)
	at org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadEPackage(ConsumerProjectMapTest.java:55)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
	at java.lang.reflect.Method.invoke(Method.java:597)
	at junit.framework.TestCase.runTest(TestCase.java:176)
	at junit.framework.TestCase.runBare(TestCase.java:141)
	at junit.framework.TestResult$1.protect(TestResult.java:122)
	at junit.framework.TestResult.runProtected(TestResult.java:142)
	at junit.framework.TestResult.run(TestResult.java:125)
	at junit.framework.TestCase.run(TestCase.java:129)
	at junit.framework.TestSuite.runTest(TestSuite.java:255)
	at junit.framework.TestSuite.run(TestSuite.java:250)
	at junit.framework.TestSuite.runTest(TestSuite.java:255)
	at junit.framework.TestSuite.run(TestSuite.java:250)
	at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:84)
	at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50)
	at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197)


INFO:  Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_PortAndFlows_LoadFirst...
INFO:    ...OK [0.115s]
INFO:  Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_PortAndFlows_LoadModel...
INFO:    ...OK [0.064s]
INFO:  Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_PortAndFlows_LoadBoth...
INFO:    ...OK [0.057s]
INFO:  Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_PortAndFlows_LoadEPackage...
INFO:    ...OK [0.025s]
INFO:  Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadDefault...
INFO:    ...Failure [0.022s]
WARN:  junit.framework.AssertionFailedError: expected:<org.eclipse.papyrus.sysml.internal.impl.SysmlPackageImpl@1627c16 (name: sysml) (nsURI: http://www.eclipse.org/papyrus/0.7.0/SysML, nsPrefix: SysML)> but was:<org.eclipse.emf.ecore.impl.EPackageImpl@38facfb (name: sysml) (nsURI: http://www.eclipse.org/papyrus/0.7.0/SysML, nsPrefix: SysML)>
	at junit.framework.Assert.fail(Assert.java:57)
	at junit.framework.Assert.failNotEquals(Assert.java:329)
	at junit.framework.Assert.assertEquals(Assert.java:78)
	at junit.framework.Assert.assertEquals(Assert.java:86)
	at junit.framework.TestCase.assertEquals(TestCase.java:253)
	at org.eclipse.ocl.examples.test.ecore.AbstractProjectMapTest.doTestProjectMap_LoadDefault(AbstractProjectMapTest.java:177)
	at org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadDefault(ConsumerProjectMapTest.java:49)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
	at java.lang.reflect.Method.invoke(Method.java:597)
	at junit.framework.TestCase.runTest(TestCase.java:176)
	at junit.framework.TestCase.runBare(TestCase.java:141)
	at junit.framework.TestResult$1.protect(TestResult.java:122)
	at junit.framework.TestResult.runProtected(TestResult.java:142)
	at junit.framework.TestResult.run(TestResult.java:125)
	at junit.framework.TestCase.run(TestCase.java:129)
	at junit.framework.TestSuite.runTest(TestSuite.java:255)
	at junit.framework.TestSuite.run(TestSuite.java:250)
	at junit.framework.TestSuite.runTest(TestSuite.java:255)
	at junit.framework.TestSuite.run(TestSuite.java:250)
	at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:84)
	at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50)
	at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197)


INFO:  Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_PortAndFlows_LoadDefault...
INFO:    ...OK [0.042s]
INFO:  Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadBoth...
INFO:    ...OK [0.049s]
INFO:  Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadFirst...
INFO:    ...Failure [0.017s]
WARN:  junit.framework.AssertionFailedError: expected:<org.eclipse.papyrus.sysml.internal.impl.SysmlPackageImpl@1627c16 (name: sysml) (nsURI: http://www.eclipse.org/papyrus/0.7.0/SysML, nsPrefix: SysML)> but was:<org.eclipse.emf.ecore.impl.EPackageImpl@c16c2c0 (name: sysml) (nsURI: http://www.eclipse.org/papyrus/0.7.0/SysML, nsPrefix: SysML)>
	at junit.framework.Assert.fail(Assert.java:57)
	at junit.framework.Assert.failNotEquals(Assert.java:329)
	at junit.framework.Assert.assertEquals(Assert.java:78)
	at junit.framework.Assert.assertEquals(Assert.java:86)
	at junit.framework.TestCase.assertEquals(TestCase.java:253)
	at org.eclipse.ocl.examples.test.ecore.AbstractProjectMapTest.doTestProjectMap_LoadFirst(AbstractProjectMapTest.java:283)
	at org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadFirst(ConsumerProjectMapTest.java:61)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
	at java.lang.reflect.Method.invoke(Method.java:597)
	at junit.framework.TestCase.runTest(TestCase.java:176)
	at junit.framework.TestCase.runBare(TestCase.java:141)
	at junit.framework.TestResult$1.protect(TestResult.java:122)
	at junit.framework.TestResult.runProtected(TestResult.java:142)
	at junit.framework.TestResult.run(TestResult.java:125)
	at junit.framework.TestCase.run(TestCase.java:129)
	at junit.framework.TestSuite.runTest(TestSuite.java:255)
	at junit.framework.TestSuite.run(TestSuite.java:250)
	at junit.framework.TestSuite.runTest(TestSuite.java:255)
	at junit.framework.TestSuite.run(TestSuite.java:250)
	at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:84)
	at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50)
	at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197)


INFO:  Running test org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadModel...
INFO:    ...Failure [0.016s]
WARN:  junit.framework.AssertionFailedError
	at junit.framework.Assert.fail(Assert.java:55)
	at junit.framework.Assert.assertTrue(Assert.java:22)
	at junit.framework.Assert.assertFalse(Assert.java:39)
	at junit.framework.Assert.assertFalse(Assert.java:47)
	at junit.framework.TestCase.assertFalse(TestCase.java:219)
	at org.eclipse.ocl.examples.test.ecore.AbstractProjectMapTest.doTestProjectMap_LoadModel(AbstractProjectMapTest.java:334)
	at org.eclipse.ocl.examples.consumers.tests.ConsumerProjectMapTest.testProjectMap_SysML_LoadModel(ConsumerProjectMapTest.java:67)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
	at java.lang.reflect.Method.invoke(Method.java:597)
	at junit.framework.TestCase.runTest(TestCase.java:176)
	at junit.framework.TestCase.runBare(TestCase.java:141)
	at junit.framework.TestResult$1.protect(TestResult.java:122)
	at junit.framework.TestResult.runProtected(TestResult.java:142)
	at junit.framework.TestResult.run(TestResult.java:125)
	at junit.framework.TestCase.run(TestCase.java:129)
	at junit.framework.TestSuite.runTest(TestSuite.java:255)
	at junit.framework.TestSuite.run(TestSuite.java:250)
	at junit.framework.TestSuite.runTest(TestSuite.java:255)
	at junit.framework.TestSuite.run(TestSuite.java:250)
	at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:84)
	at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50)
	at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197)


INFO:  Running test org.eclipse.ocl.examples.consumers.tests.ConsumerValidateTests.testValidate_umlrt_profile_uml...
INFO:    ...OK [8.566s]
INFO:  Tests finished.
INFO:  Elapsed time: 11.26 seconds.
INFO:  Total number of tests executed: 11
INFO:  Successful tests: 7
INFO:  Failed tests: 4
INFO:  Errors: 0
INFO:  Ignored tests: 0
INFO:  Overall status: Failure
INFO:  junit '--launch' 'org.eclipse.ocl.examples.xtext.tests/.settings/org.eclipse.ocl.examples.xtext.tests (CG).launch' '--flatXML' '--output' '/home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/MDT-OCL.test.results/org.eclipse.ocl.examples.xtext.tests.CG.xml'
INFO:  Starting test session org.eclipse.ocl.examples.xtext.tests (CG)
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanToString[0]...
INFO:    ...OK [3.475s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanOr[0]...
INFO:    ...OK [0.342s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanAnd[0]...
INFO:    ...OK [0.227s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanNot[0]...
INFO:    ...OK [0.075s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanXor[0]...
INFO:    ...OK [0.2s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanImplies[0]...
INFO:    ...OK [0.187s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBoolean[0]...
INFO:    ...OK [0.075s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanEqual[0]...
INFO:    ...OK [0.115s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanNotEqual[0]...
INFO:    ...OK [0.12s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanToString[1]...
INFO:    ...OK [2.846s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanOr[1]...
INFO:    ...OK [2.182s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanAnd[1]...
INFO:    ...OK [1.7s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanNot[1]...
INFO:    ...OK [0.524s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanXor[1]...
INFO:    ...OK [1.41s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanImplies[1]...
INFO:    ...OK [1.515s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBoolean[1]...
INFO:    ...OK [0.577s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanEqual[1]...
INFO:    ...OK [0.825s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateBooleanOperationsTest4.testBooleanNotEqual[1]...
INFO:    ...OK [0.836s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateClassifierOperationsTest.test_oclContents...
INFO:    ...OK [0.192s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateClassifierOperationsTest.test_conformsTo...
INFO:    ...OK [0.1s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateClassifierOperationsTest.test_allInstances...
INFO:    ...OK [0.293s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateClassifierOperationsTest.test_oclContainer...
INFO:    ...OK [0.122s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionFlatten[0]...
INFO:    ...OK [0.325s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionEmptyCollection[0]...
INFO:    ...OK [0.171s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsSequence[0]...
INFO:    ...OK [0.183s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEmpty[0]...
INFO:    ...OK [0.247s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqual[0]...
INFO:    ...OK [0.181s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualOrderedXUnordered[0]...
INFO:    ...OK [0.069s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSelectByKind[0]...
INFO:    ...OK [0.419s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSelectByType[0]...
INFO:    ...OK [0.381s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludesAll[0]...
INFO:    ...OK [0.599s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAt[0]...
INFO:    ...OK [0.158s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSymmetricDifference[0]...
INFO:    ...OK [0.061s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionPrepend[0]...
INFO:    ...OK [0.109s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProduct[0]...
INFO:    ...OK [0.495s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionDuplicates[0]...
INFO:    ...OK [0.081s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludes[0]...
INFO:    ...OK [0.44s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsOrderedSet[0]...
INFO:    ...OK [0.225s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionInvalid[0]...
INFO:    ...OK [0.089s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionElementType[0]...
INFO:    ...OK [0.052s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionPrependAll[0]...
INFO:    ...OK [0.144s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualNull[0]...
INFO:    ...OK [0.142s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionLast[0]...
INFO:    ...OK [0.099s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSize[0]...
INFO:    ...OK [0.167s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSubOrderedSet[0]...
INFO:    ...OK [0.087s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualOrderedXOrdered[0]...
INFO:    ...OK [0.104s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualOrderedXUnordered[0]...
INFO:    ...OK [0.058s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualUnorderedXUnordered[0]...
INFO:    ...OK [0.057s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludesAll[0]...
INFO:    ...OK [0.569s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualOrderedXOrdered[0]...
INFO:    ...OK [0.049s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludingAll[0]...
INFO:    ...OK [0.283s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionReverse[0]...
INFO:    ...OK [0.163s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNoDuplicates[0]...
INFO:    ...OK [0.074s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcluding[0]...
INFO:    ...OK [0.259s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualUnorderedXUnordered[0]...
INFO:    ...OK [0.054s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNullValue[0]...
INFO:    ...OK [0.074s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAppendAll[0]...
INFO:    ...OK [0.316s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionInvalidValue[0]...
INFO:    ...OK [0.044s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIndexOf[0]...
INFO:    ...OK [0.097s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualInvalid[0]...
INFO:    ...OK [0.07s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSubSequence[0]...
INFO:    ...OK [0.084s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIntersectionReturnType[0]...
INFO:    ...OK [0.055s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIsEmpty[0]...
INFO:    ...OK [0.259s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsBag[0]...
INFO:    ...OK [0.148s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsSet[0]...
INFO:    ...OK [0.198s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionCount[0]...
INFO:    ...OK [0.479s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqual[0]...
INFO:    ...OK [0.235s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionFirst[0]...
INFO:    ...OK [0.095s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionLower[0]...
INFO:    ...OK [0.036s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMinus[0]...
INFO:    ...OK [0.098s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUpper[0]...
INFO:    ...OK [0.034s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProductNull[0]...
INFO:    ...OK [0.074s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAppend[0]...
INFO:    ...OK [0.257s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludes[0]...
INFO:    ...OK [0.406s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncluding[0]...
INFO:    ...OK [0.36s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMax[0]...
INFO:    ...OK [0.057s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMin[0]...
INFO:    ...OK [0.054s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSum[0]...
INFO:    ...OK [0.218s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludingAll[0]...
INFO:    ...OK [0.358s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIntersection[0]...
INFO:    ...OK [0.545s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionInsertAt[0]...
INFO:    ...OK [0.263s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProductNullValue[0]...
INFO:    ...OK [0.246s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNull[0]...
INFO:    ...OK [0.08s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualNull[0]...
INFO:    ...OK [0.067s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualInvalid[0]...
INFO:    ...OK [0.068s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionFlatten[1]...
INFO:    ...OK [1.957s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionEmptyCollection[1]...
INFO:    ...OK [1.166s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsSequence[1]...
INFO:    ...OK [1.334s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEmpty[1]...
INFO:    ...OK [2.248s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqual[1]...
INFO:    ...OK [1.918s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualOrderedXUnordered[1]...
INFO:    ...OK [0.612s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSelectByKind[1]...
INFO:    ...OK [2.713s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSelectByType[1]...
INFO:    ...OK [2.831s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludesAll[1]...
INFO:    ...OK [6.196s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAt[1]...
INFO:    ...OK [1.976s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSymmetricDifference[1]...
INFO:    ...OK [0.572s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionPrepend[1]...
INFO:    ...OK [1.031s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProduct[1]...
INFO:    ...OK [4.781s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionDuplicates[1]...
INFO:    ...OK [0.627s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludes[1]...
INFO:    ...OK [5.966s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsOrderedSet[1]...
INFO:    ...OK [2.199s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionInvalid[1]...
INFO:    ...OK [1.344s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionElementType[1]...
INFO:    ...OK [0.557s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionPrependAll[1]...
INFO:    ...OK [1.409s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualNull[1]...
INFO:    ...OK [2.157s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionLast[1]...
INFO:    ...OK [1.382s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSize[1]...
INFO:    ...OK [2.489s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSubOrderedSet[1]...
INFO:    ...OK [1.252s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualOrderedXOrdered[1]...
INFO:    ...OK [1.521s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualOrderedXUnordered[1]...
INFO:    ...OK [0.858s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualUnorderedXUnordered[1]...
INFO:    ...OK [0.891s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludesAll[1]...
INFO:    ...OK [8.736s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualOrderedXOrdered[1]...
INFO:    ...OK [0.783s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcludingAll[1]...
INFO:    ...OK [3.416s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionReverse[1]...
INFO:    ...OK [1.525s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNoDuplicates[1]...
INFO:    ...OK [0.754s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionExcluding[1]...
INFO:    ...OK [3.414s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualUnorderedXUnordered[1]...
INFO:    ...OK [0.969s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNullValue[1]...
INFO:    ...OK [0.77s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAppendAll[1]...
INFO:    ...OK [3.887s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionInvalidValue[1]...
INFO:    ...OK [1.048s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIndexOf[1]...
INFO:    ...OK [1.679s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualInvalid[1]...
INFO:    ...OK [1.404s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSubSequence[1]...
INFO:    ...OK [1.2s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIntersectionReturnType[1]...
INFO:    ...OK [0.527s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIsEmpty[1]...
INFO:    ...OK [4.592s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsBag[1]...
INFO:    ...OK [2.571s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAsSet[1]...
INFO:    ...OK [3.241s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionCount[1]...
INFO:    ...OK [9.133s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqual[1]...
INFO:    ...OK [6.001s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionFirst[1]...
INFO:    ...OK [1.889s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionLower[1]...
INFO:    ...OK [0.822s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMinus[1]...
INFO:    ...OK [1.626s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUpper[1]...
INFO:    ...OK [0.582s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProductNull[1]...
INFO:    ...OK [1.623s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionAppend[1]...
INFO:    ...OK [3.869s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludes[1]...
INFO:    ...OK [9.038s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncluding[1]...
INFO:    ...OK [5.939s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMax[1]...
INFO:    ...OK [1.263s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionMin[1]...
INFO:    ...OK [1.095s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionSum[1]...
INFO:    ...OK [5.311s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIncludingAll[1]...
INFO:    ...OK [5.925s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionIntersection[1]...
INFO:    ...OK [11.07s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionInsertAt[1]...
INFO:    ...OK [5.097s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionProductNullValue[1]...
INFO:    ...OK [3.214s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionUnionNull[1]...
INFO:    ...OK [2.149s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionNotEqualNull[1]...
INFO:    ...OK [1.553s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateCollectionOperationsTest4.testCollectionEqualInvalid[1]...
INFO:    ...OK [1.76s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateConstructsTest4.testConstruct_if[0]...
INFO:    ...OK [0.08s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateConstructsTest4.testConstruct_let[0]...
INFO:    ...OK [0.097s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateConstructsTest4.testConstruct_if[1]...
INFO:    ...OK [0.946s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateConstructsTest4.testConstruct_let[1]...
INFO:    ...OK [0.84s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_containment_navigation[0]...
INFO:    ...OK [1.16s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_unified_types_411441[0]...
INFO:    ...OK [0.094s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_oclAsSet_351512[0]...
INFO:    ...OK [0.289s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_ecoreDataTypes[0]...
INFO:    ...OK [0.715s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_multi_container_394152[0]...
INFO:    ...OK [0.051s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_containment_navigation[1]...
INFO:    ...OK [2.374s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_unified_types_411441[1]...
INFO:    ...OK [0.549s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_oclAsSet_351512[1]...
INFO:    ...OK [1.101s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_ecoreDataTypes[1]...
INFO:    ...OK [6.351s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateModelOperationsTest4.test_multi_container_394152[1]...
INFO:    ...OK [0.669s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_self_scope[0]...
INFO:    ...OK [0.07s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_unnavigable_opposite_property[0]...
INFO:    ...OK [0.103s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_loop_source_self_or[0]...
INFO:    ...OK [0.088s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_derived_property[0]...
INFO:    ...OK [0.124s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_iterator_scope[0]...
INFO:    ...OK [0.059s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_container_navigation[0]...
INFO:    ...OK [0.102s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_dynamic_dispatch_411154[0]...
INFO:    ...OK [0.536s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_uml_primitives_399378[0]...
INFO:    ...OK [1.473s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_type_construction[0]...
INFO:    ...OK [0.542s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_caught_and_uncaught[0]...
INFO:    ...OK [0.068s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_let_implies_let_implies[0]...
INFO:    ...OK [0.056s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_caught_if[0]...
INFO:    ...OK [0.061s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_double_get[0]...
INFO:    ...OK [0.019s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_tuple_access[0]...
INFO:    ...OK [0.719s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_nested_names[0]...
INFO:    ...OK [0.162s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_bad_navigation[0]...
INFO:    ...OK [0.167s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_let_implies[0]...
INFO:    ...OK [0.014s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_implicit_source[0]...
INFO:    ...OK [0.1s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_no_self[0]...
INFO:    ...OK [0.014s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_compatibility_names[0]...
INFO:    ...OK [0.024s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_implies_calls[0]...
INFO:    ...OK [0.044s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_double_exists_407817[0]...
INFO:    ...OK [0.022s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_self_scope[1]...
INFO:    ...OK [0.465s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_unnavigable_opposite_property[1]...
INFO:    ...OK [0.625s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_loop_source_self_or[1]...
INFO:    ...OK [0.366s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_derived_property[1]...
INFO:    ...OK [0.213s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_iterator_scope[1]...
INFO:    ...OK [0.217s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_container_navigation[1]...
INFO:    ...OK [0.68s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_dynamic_dispatch_411154[1]...
INFO:    ...OK [0.004s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_uml_primitives_399378[1]...
INFO:    ...OK [0.671s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_type_construction[1]...
INFO:    ...Failure [0.381s]
WARN:  junit.framework.AssertionFailedError: Apple{name='RedApple',color=Color::red} = Apple{name='RedApple',color=Color::red} expected:<false> but was:<true>
	at junit.framework.Assert.fail(Assert.java:57)
	at junit.framework.Assert.failNotEquals(Assert.java:329)
	at junit.framework.Assert.assertEquals(Assert.java:78)
	at junit.framework.TestCase.assertEquals(TestCase.java:244)
	at org.eclipse.ocl.examples.pivot.tests.PivotTestSuite.assertQueryFalse(PivotTestSuite.java:528)
	at org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_type_construction(EvaluateNameVisibilityTest4.java:443)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
	at java.lang.reflect.Method.invoke(Method.java:597)
	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:47)
	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:44)
	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
	at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26)
	at org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:27)
	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:271)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:70)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
	at org.junit.runners.Suite.runChild(Suite.java:127)
	at org.junit.runners.Suite.runChild(Suite.java:26)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
	at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
	at org.junit.runners.Suite.runChild(Suite.java:127)
	at org.junit.runners.Suite.runChild(Suite.java:26)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
	at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50)
	at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197)


INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_caught_and_uncaught[1]...
INFO:    ...OK [0.19s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_let_implies_let_implies[1]...
INFO:    ...OK [0.264s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_caught_if[1]...
INFO:    ...OK [0.339s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_double_get[1]...
INFO:    ...OK [0.155s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_tuple_access[1]...
INFO:    ...OK [0.374s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_nested_names[1]...
INFO:    ...OK [1.115s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_bad_navigation[1]...
INFO:    ...OK [0.145s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_let_implies[1]...
INFO:    ...OK [0.234s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_implicit_source[1]...
INFO:    ...Failure [0.351s]
WARN:  junit.framework.AssertionFailedError: ownedType->select(name = 'Integer') = Set{Integer} expected:<true> but was:<false>
	at junit.framework.Assert.fail(Assert.java:57)
	at junit.framework.Assert.failNotEquals(Assert.java:329)
	at junit.framework.Assert.assertEquals(Assert.java:78)
	at junit.framework.TestCase.assertEquals(TestCase.java:244)
	at org.eclipse.ocl.examples.pivot.tests.PivotTestSuite.assertQueryTrue(PivotTestSuite.java:735)
	at org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_implicit_source(EvaluateNameVisibilityTest4.java:120)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
	at java.lang.reflect.Method.invoke(Method.java:597)
	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:47)
	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:44)
	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
	at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26)
	at org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:27)
	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:271)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:70)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
	at org.junit.runners.Suite.runChild(Suite.java:127)
	at org.junit.runners.Suite.runChild(Suite.java:26)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
	at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
	at org.junit.runners.Suite.runChild(Suite.java:127)
	at org.junit.runners.Suite.runChild(Suite.java:26)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
	at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50)
	at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390)
	at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197)


INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_no_self[1]...
INFO:    ...OK [0.012s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_compatibility_names[1]...
INFO:    ...OK [0.216s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_cg_implies_calls[1]...
INFO:    ...OK [0.296s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNameVisibilityTest4.test_double_exists_407817[1]...
INFO:    ...OK [0.169s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberAbs[0]...
INFO:    ...OK [0.108s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberDiv[0]...
INFO:    ...OK [0.082s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMax[0]...
INFO:    ...OK [0.238s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMin[0]...
INFO:    ...OK [0.238s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMod[0]...
INFO:    ...OK [0.067s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberGreaterThanOrEqual[0]...
INFO:    ...OK [0.194s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedNotEqual[0]...
INFO:    ...OK [0.069s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberPlus[0]...
INFO:    ...OK [0.167s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedDivide[0]...
INFO:    ...OK [0.07s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedLessThan[0]...
INFO:    ...OK [0.058s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberLessThanOrEqual[0]...
INFO:    ...OK [0.209s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberNotEqual[0]...
INFO:    ...OK [0.125s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedNegate[0]...
INFO:    ...OK [0.012s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedGreaterThan[0]...
INFO:    ...OK [0.052s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedGreaterThanOrEqual[0]...
INFO:    ...OK [0.054s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberLessThan[0]...
INFO:    ...OK [0.193s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberEqual[0]...
INFO:    ...OK [0.125s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberFloor[0]...
INFO:    ...OK [0.066s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMinus[0]...
INFO:    ...OK [0.158s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberRound[0]...
INFO:    ...OK [0.063s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberTimes[0]...
INFO:    ...OK [0.127s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberToString[0]...
INFO:    ...OK [0.038s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberGreaterThan[0]...
INFO:    ...OK [0.191s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedPlus[0]...
INFO:    ...OK [0.06s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedEqual[0]...
INFO:    ...OK [0.07s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedFloor[0]...
INFO:    ...OK [0.02s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMinus[0]...
INFO:    ...OK [0.059s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedRound[0]...
INFO:    ...OK [0.02s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedTimes[0]...
INFO:    ...OK [0.061s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntMinus[0]...
INFO:    ...OK [0s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntValue[0]...
INFO:    ...OK [0s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedLessThanOrEqual[0]...
INFO:    ...OK [0.058s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedAbs[0]...
INFO:    ...OK [0.02s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMax[0]...
INFO:    ...OK [0.071s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMin[0]...
INFO:    ...OK [0.076s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntPlus[0]...
INFO:    ...OK [0s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumber[0]...
INFO:    ...OK [0.12s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberDivide[0]...
INFO:    ...OK [0.135s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberNegate[0]...
INFO:    ...OK [0.067s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberAbs[1]...
INFO:    ...OK [1.031s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberDiv[1]...
INFO:    ...OK [0.702s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMax[1]...
INFO:    ...OK [2.256s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMin[1]...
INFO:    ...OK [2.391s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMod[1]...
INFO:    ...OK [0.737s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberGreaterThanOrEqual[1]...
INFO:    ...OK [2.545s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedNotEqual[1]...
INFO:    ...OK [1.232s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberPlus[1]...
INFO:    ...OK [2.076s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedDivide[1]...
INFO:    ...OK [1.32s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedLessThan[1]...
INFO:    ...OK [0.754s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberLessThanOrEqual[1]...
INFO:    ...OK [3.167s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberNotEqual[1]...
INFO:    ...OK [1.912s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedNegate[1]...
INFO:    ...OK [0.237s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedGreaterThan[1]...
INFO:    ...OK [1.054s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedGreaterThanOrEqual[1]...
INFO:    ...OK [0.812s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberLessThan[1]...
INFO:    ...OK [3.671s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberEqual[1]...
INFO:    ...OK [2.045s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberFloor[1]...
INFO:    ...OK [0.868s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberMinus[1]...
INFO:    ...OK [2.781s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberRound[1]...
INFO:    ...OK [1.145s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberTimes[1]...
INFO:    ...OK [2.54s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberToString[1]...
INFO:    ...OK [0.74s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberGreaterThan[1]...
INFO:    ...OK [4.032s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedPlus[1]...
INFO:    ...OK [1.283s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedEqual[1]...
INFO:    ...OK [1.524s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedFloor[1]...
INFO:    ...OK [0.431s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMinus[1]...
INFO:    ...OK [1.706s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedRound[1]...
INFO:    ...OK [0.462s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedTimes[1]...
INFO:    ...OK [1.359s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntMinus[1]...
INFO:    ...OK [0s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntValue[1]...
INFO:    ...OK [0s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedLessThanOrEqual[1]...
INFO:    ...OK [1.482s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedAbs[1]...
INFO:    ...OK [0.439s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMax[1]...
INFO:    ...OK [1.379s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testUnlimitedMin[1]...
INFO:    ...OK [1.795s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testIntPlus[1]...
INFO:    ...OK [0.001s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumber[1]...
INFO:    ...OK [3.367s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberDivide[1]...
INFO:    ...OK [3.396s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateNumericOperationsTest4.testNumberNegate[1]...
INFO:    ...OK [1.933s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testNotEqual[0]...
INFO:    ...OK [0.232s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsInvalid[0]...
INFO:    ...OK [0.102s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testGreaterThanOrEqual[0]...
INFO:    ...OK [0.071s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsKindOf[0]...
INFO:    ...OK [0.554s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsSet_implicit[0]...
INFO:    ...OK [0.171s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testLessThanOrEqual[0]...
INFO:    ...OK [0.071s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsTypeOf[0]...
INFO:    ...OK [0.534s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testLessThan[0]...
INFO:    ...OK [0.073s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testEqual[0]...
INFO:    ...OK [0.227s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testToString[0]...
INFO:    ...OK [0.028s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Enumeration[0]...
INFO:    ...OK [0.088s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Boolean[0]...
INFO:    ...OK [0.13s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testGreaterThan[0]...
INFO:    ...OK [0.071s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Collection[0]...
INFO:    ...OK [0.113s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Tuple[0]...
INFO:    ...OK [0.063s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsSet_explicit[0]...
INFO:    ...OK [0.046s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsType[0]...
INFO:    ...OK [0.547s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclAny[0]...
INFO:    ...OK [0.061s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType[0]...
INFO:    ...OK [0.059s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testMetaclassInstanceType[0]...
INFO:    ...OK [0.012s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Numeric[0]...
INFO:    ...OK [0.073s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsUndefined[0]...
INFO:    ...OK [0.078s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclVoid[0]...
INFO:    ...OK [0.087s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclInvalid[0]...
INFO:    ...OK [0.069s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Classifier[0]...
INFO:    ...OK [0.121s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testNotEqual[1]...
INFO:    ...OK [2.302s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsInvalid[1]...
INFO:    ...OK [0.943s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testGreaterThanOrEqual[1]...
INFO:    ...OK [0.555s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsKindOf[1]...
INFO:    ...OK [5.66s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsSet_implicit[1]...
INFO:    ...OK [1.828s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testLessThanOrEqual[1]...
INFO:    ...OK [0.595s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsTypeOf[1]...
INFO:    ...OK [6.165s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testLessThan[1]...
INFO:    ...OK [0.629s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testEqual[1]...
INFO:    ...OK [3.013s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testToString[1]...
INFO:    ...OK [0.228s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Enumeration[1]...
INFO:    ...OK [1.461s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Boolean[1]...
INFO:    ...OK [1.549s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testGreaterThan[1]...
INFO:    ...OK [0.999s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Collection[1]...
INFO:    ...OK [0.964s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Tuple[1]...
INFO:    ...OK [0.696s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsSet_explicit[1]...
INFO:    ...OK [0.475s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclAsType[1]...
INFO:    ...OK [7.358s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclAny[1]...
INFO:    ...OK [0.718s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType[1]...
INFO:    ...OK [0.803s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.testMetaclassInstanceType[1]...
INFO:    ...OK [0.198s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Numeric[1]...
INFO:    ...OK [0.948s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclIsUndefined[1]...
INFO:    ...OK [1.096s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclVoid[1]...
INFO:    ...OK [1.167s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_OclInvalid[1]...
INFO:    ...OK [1.424s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateOclAnyOperationsTest4.test_oclType_Classifier[1]...
INFO:    ...OK [1.655s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringStartsWith[0]...
INFO:    ...OK [0.111s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsInvalid[0]...
INFO:    ...OK [0.017s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringAt[0]...
INFO:    ...OK [0.067s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringReplaceAll[0]...
INFO:    ...OK [0.107s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEqualIgnoresCase[0]...
INFO:    ...OK [0.046s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringMatches[0]...
INFO:    ...OK [0.132s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLessThanOrEqual[0]...
INFO:    ...OK [0.092s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringNotEqual[0]...
INFO:    ...OK [0.061s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringGreaterThan[0]...
INFO:    ...OK [0.092s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEndsWith[0]...
INFO:    ...OK [0.113s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToInteger[0]...
INFO:    ...OK [0.051s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLessThan[0]...
INFO:    ...OK [0.092s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstring[0]...
INFO:    ...OK [0.087s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringReplaceFirst[0]...
INFO:    ...OK [0.103s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringIndexOf[0]...
INFO:    ...OK [0.106s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToString[0]...
INFO:    ...OK [0.018s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclAsType[0]...
INFO:    ...OK [0.039s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsKindOf[0]...
INFO:    ...OK [0.039s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsTypeOf[0]...
INFO:    ...OK [0.044s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringTokenize[0]...
INFO:    ...OK [0.226s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstituteAll[0]...
INFO:    ...OK [0.082s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringConcat[0]...
INFO:    ...OK [0.046s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringCharacters[0]...
INFO:    ...OK [0.043s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsUndefined[0]...
INFO:    ...OK [0.017s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToReal[0]...
INFO:    ...OK [0.052s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToLowerCase[0]...
INFO:    ...OK [0.037s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstituteFirst[0]...
INFO:    ...OK [0.122s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToBoolean[0]...
INFO:    ...OK [0.059s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLastIndexOf[0]...
INFO:    ...OK [0.113s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToUpperCase[0]...
INFO:    ...OK [0.038s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringPlus[0]...
INFO:    ...OK [0.041s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSize[0]...
INFO:    ...OK [0.031s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringTrim[0]...
INFO:    ...OK [0.052s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEqual[0]...
INFO:    ...OK [0.065s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringGreaterThanOrEqual[0]...
INFO:    ...OK [0.092s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringStartsWith[1]...
INFO:    ...OK [1.074s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsInvalid[1]...
INFO:    ...OK [0.213s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringAt[1]...
INFO:    ...OK [0.619s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringReplaceAll[1]...
INFO:    ...OK [1.016s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEqualIgnoresCase[1]...
INFO:    ...OK [0.533s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringMatches[1]...
INFO:    ...OK [0.961s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLessThanOrEqual[1]...
INFO:    ...OK [1.146s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringNotEqual[1]...
INFO:    ...OK [0.636s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringGreaterThan[1]...
INFO:    ...OK [1.19s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEndsWith[1]...
INFO:    ...OK [1.252s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToInteger[1]...
INFO:    ...OK [0.627s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLessThan[1]...
INFO:    ...OK [1.261s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstring[1]...
INFO:    ...OK [0.966s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringReplaceFirst[1]...
INFO:    ...OK [1.169s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringIndexOf[1]...
INFO:    ...OK [1.212s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToString[1]...
INFO:    ...OK [0.251s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclAsType[1]...
INFO:    ...OK [0.525s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsKindOf[1]...
INFO:    ...OK [0.522s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsTypeOf[1]...
INFO:    ...OK [0.527s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringTokenize[1]...
INFO:    ...OK [2.012s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstituteAll[1]...
INFO:    ...OK [1.377s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringConcat[1]...
INFO:    ...OK [0.616s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringCharacters[1]...
INFO:    ...OK [0.528s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringOclIsUndefined[1]...
INFO:    ...OK [0.257s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToReal[1]...
INFO:    ...OK [0.696s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToLowerCase[1]...
INFO:    ...OK [0.537s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSubstituteFirst[1]...
INFO:    ...OK [1.517s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToBoolean[1]...
INFO:    ...OK [0.817s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringLastIndexOf[1]...
INFO:    ...OK [1.478s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringToUpperCase[1]...
INFO:    ...OK [1.006s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringPlus[1]...
INFO:    ...OK [0.645s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringSize[1]...
INFO:    ...OK [0.459s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringTrim[1]...
INFO:    ...OK [0.744s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringEqual[1]...
INFO:    ...OK [1.279s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.EvaluateStringOperationsTest4.testStringGreaterThanOrEqual[1]...
INFO:    ...OK [1.549s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedBy_invalidBody_142518[0]...
INFO:    ...OK [0.04s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_implicitCollect_unknownAttribute_232669[0]...
INFO:    ...OK [0.011s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_operations[0]...
INFO:    ...OK [0.01s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_flattens_217461[0]...
INFO:    ...OK [0.016s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll_invalidBody_142518[0]...
INFO:    ...OK [0.067s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_cycles[0]...
INFO:    ...OK [0.042s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_any_invalidBody_142518[0]...
INFO:    ...OK [0.045s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists_multipleIteratorVariables[0]...
INFO:    ...OK [0.072s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_any[0]...
INFO:    ...OK [0.15s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_one[0]...
INFO:    ...OK [0.066s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_implicitCollect_unknownOperation_232669[0]...
INFO:    ...OK [0.012s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_body_393509[0]...
INFO:    ...OK [0.048s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists[0]...
INFO:    ...OK [0.158s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_isUnique_invalidBody_142518[0]...
INFO:    ...OK [0.034s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll[0]...
INFO:    ...OK [0.194s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure[0]...
INFO:    ...OK [0.099s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closureValidation_typeConformance_154695[0]...
INFO:    ...OK [0.018s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_invalidMultipleIteratorVariables[0]...
INFO:    ...OK [0.079s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect[0]...
INFO:    ...OK [0.088s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_reject[0]...
INFO:    ...OK [0.069s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_select[0]...
INFO:    ...OK [0.064s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_one_invalidBody_142518[0]...
INFO:    ...OK [0.045s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_isUnique_126861[0]...
INFO:    ...OK [0.092s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedBy[0]...
INFO:    ...OK [0.09s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedByRequiresComparability_192729[0]...
INFO:    ...OK [0.056s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_empty_217461[0]...
INFO:    ...OK [0.014s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_invalidBody_142518[0]...
INFO:    ...OK [0.031s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_invalidBody_142518[0]...
INFO:    ...OK [0.05s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_iterateWithNullSource_143996[0]...
INFO:    ...OK [0.05s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_existsWithNullSource_143996[0]...
INFO:    ...OK [0.043s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_iterate_143996[0]...
INFO:    ...OK [0.07s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collectNested_invalidBody_142518[0]...
INFO:    ...OK [0.035s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll_multipleIteratorVariables[0]...
INFO:    ...OK [0.054s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_recursions_401302[0]...
INFO:    ...OK [0.959s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists_invalidBody_142518[0]...
INFO:    ...OK [0.059s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collectNested[0]...
INFO:    ...OK [0.131s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_reject_invalidBody_142518[0]...
INFO:    ...OK [0.045s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_select_invalidBody_142518[0]...
INFO:    ...OK [0.05s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedBy_invalidBody_142518[1]...
INFO:    ...OK [0.302s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_implicitCollect_unknownAttribute_232669[1]...
INFO:    ...OK [0.013s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_operations[1]...
INFO:    ...OK [0.01s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_flattens_217461[1]...
INFO:    ...OK [0.177s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll_invalidBody_142518[1]...
INFO:    ...OK [0.625s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_cycles[1]...
INFO:    ...OK [0.372s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_any_invalidBody_142518[1]...
INFO:    ...OK [0.462s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists_multipleIteratorVariables[1]...
INFO:    ...OK [0.566s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_any[1]...
INFO:    ...OK [1.199s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_one[1]...
INFO:    ...OK [0.523s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_implicitCollect_unknownOperation_232669[1]...
INFO:    ...OK [0.013s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_body_393509[1]...
INFO:    ...OK [0.302s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists[1]...
INFO:    ...OK [1.293s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_isUnique_invalidBody_142518[1]...
INFO:    ...OK [0.294s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll[1]...
INFO:    ...OK [1.584s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure[1]...
INFO:    ...OK [0.909s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closureValidation_typeConformance_154695[1]...
INFO:    ...OK [0.018s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_invalidMultipleIteratorVariables[1]...
INFO:    ...OK [0.094s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect[1]...
INFO:    ...OK [0.76s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_reject[1]...
INFO:    ...OK [0.596s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_select[1]...
INFO:    ...OK [0.573s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_one_invalidBody_142518[1]...
INFO:    ...OK [0.481s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_isUnique_126861[1]...
INFO:    ...OK [0.821s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedBy[1]...
INFO:    ...OK [0.697s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_sortedByRequiresComparability_192729[1]...
INFO:    ...OK [0.343s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_empty_217461[1]...
INFO:    ...OK [0.183s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collect_invalidBody_142518[1]...
INFO:    ...OK [0.292s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_invalidBody_142518[1]...
INFO:    ...OK [0.39s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_iterateWithNullSource_143996[1]...
INFO:    ...OK [0.369s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_existsWithNullSource_143996[1]...
INFO:    ...OK [0.377s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_iterate_143996[1]...
INFO:    ...OK [0.948s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collectNested_invalidBody_142518[1]...
INFO:    ...OK [0.302s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_forAll_multipleIteratorVariables[1]...
INFO:    ...OK [0.495s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_closure_recursions_401302[1]...
INFO:    ...OK [1.082s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_exists_invalidBody_142518[1]...
INFO:    ...OK [0.592s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_collectNested[1]...
INFO:    ...OK [0.918s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_reject_invalidBody_142518[1]...
INFO:    ...OK [0.489s]
INFO:  Running test org.eclipse.ocl.examples.pivot.tests.IteratorsTest4.test_select_invalidBody_142518[1]...
INFO:    ...OK [0.488s]
INFO:  Tests finished.
INFO:  Elapsed time: 397.169 seconds.
INFO:  Total number of tests executed: 480
INFO:  Successful tests: 478
INFO:  Failed tests: 2
INFO:  Errors: 0
INFO:  Ignored tests: 0
INFO:  Overall status: Failure
[workspace] $ /bin/sh -xe /tmp/hudson9077264022807299441.sh
+ chmod +x /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-consumers-post-buckminster.sh
+ /home/hudson/genie.modeling.mdt.ocl/.hudson/jobs/ocl-luna-consumers/workspace/org.eclipse.ocl.git/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-consumers-post-buckminster.sh
Terminating xvnc.
Archiving artifacts
Recording test results
Sending e-mails to: adolfosbh@gmail.com ed@willink.me.uk
Finished: UNSTABLE