public static Pointcut read(DataInputStream s, ISourceContext context) throws IOException {
public static Pointcut read(VersionedDataInputStream s, ISourceContext context) throws IOException {
	public static Pointcut read(DataInputStream s, ISourceContext context) throws IOException {		CflowPointcut ret = new CflowPointcut(Pointcut.read(s, context), s.readBoolean(), FileUtil.readIntArray(s));		ret.readLocation(context, s);		return ret;	}