[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 15 iota=43 [WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 15 iota=43 [WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 8 iota=43 [INFO] ------------------------------------------------------------------------ [INFO] Reactor Summary: [INFO] [INFO] Overture VDM 2 C Translator Root .................. SUCCESS [5.642s] [INFO] C native root vdm2c ............................... SUCCESS [3.397s] [INFO] The C Code Generator VDM library sources .......... SUCCESS [17.094s] [INFO] The C Code Generator VDM distribution library sources SUCCESS [4.569s] [INFO] Core Tools for vdm2c .............................. SUCCESS [1.593s] [INFO] The C Code Generator .............................. FAILURE [2:46.608s] [INFO] Overture FMI IDE Top-level ........................ SKIPPED [INFO] The C Code Generator Plugin ....................... SKIPPED [INFO] Overture IDE Eclipse VDM2C features ............... SKIPPED [INFO] Overture IDE Eclipse C Code Generator feature ..... SKIPPED [INFO] Overture IDE Eclipse repository ................... SKIPPED [INFO] ------------------------------------------------------------------------ [INFO] BUILD FAILURE [INFO] ------------------------------------------------------------------------ [INFO] Total time: 3:56.183s [INFO] Finished at: Thu Nov 30 09:45:04 CET 2017 Started Build failed before it gets to this module Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds Finished: NOT_BUILT