diff --git a/javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeUtilsAfterJava11.java b/javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeUtilsAfterJava11.java index a5f1d7eeaf1..73d5f70333b 100644 --- a/javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeUtilsAfterJava11.java +++ b/javacutil/src/main/java/org/checkerframework/javacutil/trees/TreeUtilsAfterJava11.java @@ -131,17 +131,17 @@ public static List getLabels(CaseTree caseTree) { @SuppressWarnings("unchecked") List caseLabelTrees = (List) invokeNonNullResult(GET_LABELS, caseTree); - List unWrappedLabels = new ArrayList<>(); + List labels = new ArrayList<>(); for (Tree caseLabel : caseLabelTrees) { if (TreeUtils.isDefaultCaseLabelTree(caseLabel)) { return Collections.emptyList(); } else if (TreeUtils.isConstantCaseLabelTree(caseLabel)) { - unWrappedLabels.add(ConstantCaseLabelUtils.getConstantExpression(caseLabel)); + labels.add(ConstantCaseLabelUtils.getConstantExpression(caseLabel)); } else if (TreeUtils.isPatternCaseLabelTree(caseLabel)) { - unWrappedLabels.add(PatternCaseLabelUtils.getPattern(caseLabel)); + labels.add(PatternCaseLabelUtils.getPattern(caseLabel)); } } - return unWrappedLabels; + return labels; } return getExpressions(caseTree); }