1465 

  1465 

  1466             // Attribute all cases and

  1466             // Attribute all cases and

  1467             // check that there are no duplicate case labels or default clauses.

  1467             // check that there are no duplicate case labels or default clauses.

  1468             Set<Object> labels = new HashSet<>(); // The set of case labels.

  1468             Set<Object> labels = new HashSet<>(); // The set of case labels.

  1469             boolean hasDefault = false;      // Is there a default label?

  1469             boolean hasDefault = false;      // Is there a default label?

  1471             CaseTree.CaseKind caseKind = null;

  1470             CaseTree.CaseKind caseKind = null;

  1472             boolean wasError = false;

  1471             boolean wasError = false;

  1473             for (List<JCCase> l = cases; l.nonEmpty(); l = l.tail) {

  1472             for (List<JCCase> l = cases; l.nonEmpty(); l = l.tail) {

  1474                 JCCase c = l.head;

  1473                 JCCase c = l.head;

  1475                 if (caseKind == null) {

  1474                 if (caseKind == null) {