public static ThrowsPattern read(DataInputStream s, ISourceContext context) throws IOException {
public static ThrowsPattern read(VersionedDataInputStream s, ISourceContext context) throws IOException {
	public static ThrowsPattern read(DataInputStream s, ISourceContext context) throws IOException {		TypePatternList required = TypePatternList.read(s, context);		TypePatternList forbidden = TypePatternList.read(s, context);		if (required.size() == 0 && forbidden.size() == 0) return ANY;		ThrowsPattern ret = new ThrowsPattern(required, forbidden);		//XXXret.readLocation(context, s);		return ret;	}