hopefully fixed possible deadlock in eclipse plugin