Parameter parameter;
switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
case OPTION_PREFIX:
jj_consume_token(OPTION_PREFIX);
jj_consume_token(VALUE_STRING_NB);
parameter = new NamedParameter(token.toString());
if (jj_2_1(2)) {
switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
case VALUE_STRING_NB:
jj_consume_token(VALUE_STRING_NB);
break;