// The parser rejects duplicate default alternatives
// in some situations, but not in others.
if ( default_case_label == null )
default_case_label = current_case.statement.getLabel();
else
currentScope.addProblem(new MultipleSwitchDefaultsProblem(current_case.site));
}
// no need to check for duplicate cases, as the first case is always chosen in this situation
current_case.getStatementLabel(); // Touch the label so it will be properly recorded.
result.addAll(current_case.statement);