Branch: refs/heads/master Home: https://github.com/forge/jbosstools-forge Commit: d0e9f7ea0ca6bb4a2b5d828b55c1972c186819fe https://github.com/forge/jbosstools-forge/commit/d0e9f7ea0ca6bb4a2b5d828b... Author: Koen Aers <koen.aers(a)gmail.com&gt; Date: 2013-07-26 (Fri, 26 Jul 2013) Changed paths: M plugins/org.jboss.tools.forge.ui.ext/src/org/jboss/tools/forge/ui/ext/handlers/ForgeCommandHandler.java Log Message: ----------- fix workspace lockup after issuing ctrl+5