public static AnnotationTypePattern read(DataInputStream s, ISourceContext context) throws IOException {
public static AnnotationTypePattern read(VersionedDataInputStream s, ISourceContext context) throws IOException {
	public static AnnotationTypePattern read(DataInputStream s, ISourceContext context) throws IOException {		AnnotationTypePattern ret = new NotAnnotationTypePattern(AnnotationTypePattern.read(s,context));		ret.readLocation(context,s);		return ret;	}