<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
User cannot select which workspace to use, default one
$HOME/workspace always used: see
<a class="moz-txt-link-freetext" href="https://issues.jboss.org/browse/JBIDE-19627">https://issues.jboss.org/browse/JBIDE-19627</a><br>
<div class="moz-signature">-- <br>
Mickael Istria<br>
Eclipse developer at <a href="http://www.jboss.org/tools">JBoss,
by Red Hat</a><br>
<a href="http://mickaelistria.wordpress.com">My blog</a> - <a
href="http://twitter.com/mickaelistria">My Tweets</a></div>
</body>
</html>