yes that look very much like a bug - could you open one in https://jira.jboss.org/jira/browse/JBIDE and please see if you can copy/paste the full command line generated into the jira so we can check it.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community