### Error messages for the Lower Bound Checker
array.access.unsafe.low=Potentially unsafe array access: the index could be negative.%nfound   : %s%nrequired: an integer >= 0 (@NonNegative or @Positive)
array.length.negative=Variable used in array creation could be negative.%nfound   : %s%nrequired: an integer >= 0 (@NonNegative or @Positive)
from.not.nonnegative=While attempting to validate a subsequence type, the Lower Bound Checker could not prove that %s is non-negative.%nfound   : %s%nrequired: an integer >= 0 (@NonNegative or @Positive)