shellPrompt.promptChoiceTyped with default option causes improper default labeling for Dependency lists

[generated-pom] as7 $ servlet setup --quickstart 
 ? Facet [forge.maven.WebResourceFacet] requires packaging type(s) [war], but is currently [jar]. Update packaging? (Note: this could deactivate other plugins in your project.) [Y/n] 
***SUCCESS*** Installed [forge.maven.WebResourceFacet] successfully.
Use which version of 'jboss-javaee-6.0' ?

  1 - [org.jboss.spec:jboss-javaee-6.0:pom::1.0.0.Beta4]*
  2 - [org.jboss.spec:jboss-javaee-6.0:pom::1.0.0.Beta5]*
  3 - [org.jboss.spec:jboss-javaee-6.0:pom::1.0.0.Beta6]*
  4 - [org.jboss.spec:jboss-javaee-6.0:pom::1.0.0.Beta7]*
  5 - [org.jboss.spec:jboss-javaee-6.0:pom::1.0.0.CR1]*
  6 - [org.jboss.spec:jboss-javaee-6.0:pom::1.0.0.Final]*
  7 - [org.jboss.spec:jboss-javaee-6.0:pom::2.0.0.Beta1]*
  8 - [org.jboss.spec:jboss-javaee-6.0:pom::2.0.0.CR1]*
  9 - [org.jboss.spec:jboss-javaee-6.0:pom::2.0.0.Final]*
  10 - [org.jboss.spec:jboss-javaee-6.0:pom::2.1.0.Beta1]*
  11 - [org.jboss.spec:jboss-javaee-6.0:pom::3.0.0.Beta1]*
  12 - [org.jboss.spec:jboss-javaee-6.0:pom::3.0.0.Final]*
  13 - [org.jboss.spec:jboss-javaee-6.0:pom::3.0.1.Final]*

 ? Choose an option by typing the number of the selection [*-default]  [0] 
***SUCCESS*** Installed [forge.spec.servlet] successfully.