User cannot select which workspace to use, default one $HOME/workspace always used: see
https://issues.jboss.org/browse/JBIDE-19627
--
Mickael Istria
Eclipse developer at
JBoss, by Red Hat
My blog
-
My Tweets