openide/java/java-impl/resources/intentionDescriptions/EditRangeIntention/after.java.template

import org.jetbrains.annotations.Range;

interface Date {

  @Range(from = 1, to = 12)
  int getMonth();
}