//tag::include[]
package org.hibernate.validator.referenceguide.chapter03.inheritance.parameter;
//end::include[]
import javax.validation.constraints.Max;
//tag::include[]
public interface Vehicle {
void drive(@Max(75) int speedInMph);
}
//end::include[]