Make Interval class final#4909

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

findepi:findepi/make-interval-class-final-ac086bfindepi/antlr4:findepi/make-interval-class-final-ac086bCopy head branch name to clipboard