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 BindingTypePattern(TypeX.read(s), s.readShort(), s.readBoolean());		ret.readLocation(context, s);		return ret;	}