Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Finally: Replace
.label
by .getLabel()
See #1106 - field removed in JDK12 as per http://hg.openjdk.java.net/jdk/jdk/rev/de411d537aae#l26.131
- Loading branch information