-
Paul-Christian Volkmer authored
Eclipse plugin produces errors and we do not use self created locking. This should be removed if eclipse plugin can handle this.
215379d9
Eclipse plugin produces errors and we do not use self created locking. This should be removed if eclipse plugin can handle this.