Merge branch 'fix_vadere_manager_return_code' into 'master'

return non zero return code in error case

See merge request !135

VadereManager/src/org/vadere/manager/Manager.java

@@ -45,6 +45,7 @@ public class Manager {
 
 		} catch (Exception e) {
 			e.printStackTrace();
+			System.exit(-1);
 		}
 	}