checker/src/main/java/org/checkerframework/checker/index/inequality/messages.properties - typetools/checker-framework - Git at Google

 # Error messages for the LessThan Checker
 from.gt.to=While attempting to validate a subsequence type, the LessThan Checker could not prove that %s is less than or equal to %s.%nfound   : %s%nrequired: an integer <= %s (@LessThan("%s + 1"))
	# Error messages for the LessThan Checker
	from.gt.to=While attempting to validate a subsequence type, the LessThan Checker could not prove that %s is less than or equal to %s.%nfound : %s%nrequired: an integer <= %s (@LessThan("%s + 1"))