org.eclipse.jdt.compiler.apt.tests/resources/mod_locations/records/mod.records/records/Point.java

package records;
@Deprecated
public record Point(@MyAnnot int comp_) {
	public Point  {
	}
}