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 p = new AndAnnotationTypePattern(				AnnotationTypePattern.read(s,context),				AnnotationTypePattern.read(s,context));		p.readLocation(context,s);		return p;			}