Interval: make public fields `final`#4903

stevenschlansker wants to merge 1 commit intoantlr:devantlr/antlr4:devfrom

stevenschlansker:interval-field-finalstevenschlansker/antlr4:interval-field-finalCopy head branch name to clipboard