@Override
		public String toString() {
			if ( text==null ) {
				return "<DeleteOp@"+tokens.get(index)+
						".."+tokens.get(lastIndex)+">";
			}
			return "<ReplaceOp@"+tokens.get(index)+
					".."+tokens.get(lastIndex)+":\""+text+"\">";
		}
I'm going to try replacing range from x..y with (y-x)+1 ReplaceOp
 instructions.
runtime/Java/src/org/antlr/v4/runtime/TokenStreamRewriter.java