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