Gestartet durch entfernten Rechner 192.30.252.42192.30.252.4283c6ec2e0644809e2e99fd07d40b97c6b08f150956c6ec2e0644809e2e99fd07d40b97c6b08f150956refs/remotes/origin/masterc6ec2e0644809e2e99fd07d40b97c6b08f150956c6ec2e0644809e2e99fd07d40b97c6b08f150956refs/remotes/origin/masterc6ec2e0644809e2e99fd07d40b97c6b08f150956c6ec2e0644809e2e99fd07d40b97c6b08f150956refs/remotes/origin/masterhttps://github.com/peq/WurstScript.git00478testReportfalse#83535950737407Wurst #8383falsefalse8324SUCCESS1441821674965https://grill.wurstlang.org/hudson/user/peter/my-views/view/all/job/Wurst/83/EclipseWurstPlugin/src/de/peeeq/eclipsewurstplugin/builder/ModelManagerImpl.javac6ec2e0644809e2e99fd07d40b97c6b08f1509561441814332000https://grill.wurstlang.org/hudson/user/peter.peqPeter.peqPeter.peq@googlemail.comfixed #400, synchronization problem in Wurst REPL I think I have to restructure the whole thing at one point in time, because the eclipse builder is not really compatible with the Java synchronization primitives. Probably I should do it more in a actor-style. 2015-09-09T17:58:52+0200c6ec2e0644809e2e99fd07d40b97c6b08f150956fixed #400, synchronization problem in Wurst REPLeditEclipseWurstPlugin/src/de/peeeq/eclipsewurstplugin/builder/ModelManagerImpl.javagithttps://grill.wurstlang.org/hudson/user/peter.peqPeter.peq