public Request (URL url, String type, List param)
public Request (String source, String type, List param)
    public Request (URL url, String type, List param)    throws ScillaException {        this.url = url;        this.type = type;        this.param = param;	// fetch remote object	source = cache.getRemoteObjectFile(url);    }