Finally: Replace .label by .getLabel()

See #1106 - field removed in JDK12 as per Fixes #1107 ------------- Created by MOE: https://github.com/google/moe MOE_MIGRATED_REVID=302397069
google · Mar 23, 2020 · f838f78 · f838f78
1 parent e5dfb88
commit f838f78
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/core/src/main/java/com/google/errorprone/bugpatterns/Finally.java b/core/src/main/java/com/google/errorprone/bugpatterns/Finally.java
@@ -163,12 +163,12 @@ private enum JumpType {
     }
 
     public FinallyJumpMatcher(JCContinue jcContinue) {
-      this.label = jcContinue.label;
+      this.label = jcContinue.getLabel();
       this.jumpType = JumpType.CONTINUE;
     }
 
     public FinallyJumpMatcher(JCBreak jcBreak) {
-      this.label = jcBreak.label;
+      this.label = jcBreak.getLabel();
       this.jumpType = JumpType.BREAK;
     }