- Java-API, CLI: when printing the help, put unknown options at the end of the list
- Java-API, CLI: when printing the help, put unknown options at the end of the list

git-svn-id: d89f83fc72fb49d2f5b112dfb73cea192610bdff@3134 71766da9-9752-0410-ab17-bfafa751c56a

fredrikelinder/scalaris,fredrikelinder/scalaris,fredrikelinder/scalaris,fredrikelinder/scalaris,fredrikelinder/scalaris,fredrikelinder/scalaris