Änderungen

fixed #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.
 (commit: c6ec2e0)