public static TypePatternList read(DataInputStream s, ISourceContext context) throws IOException  {
public static TypePatternList read(VersionedDataInputStream s, ISourceContext context) throws IOException  {
	public static TypePatternList read(DataInputStream s, ISourceContext context) throws IOException  {		short len = s.readShort();		TypePattern[] arguments = new TypePattern[len];		for (int i=0; i<len; i++) {			arguments[i] = TypePattern.read(s, context);		}		TypePatternList ret = new TypePatternList(arguments);		ret.readLocation(context, s);		return ret;	}