uint8[] data;
File.new_for_uri (js_url).load_contents (null, out data, null);
var stream = new DataInputStream (new MemoryInputStream.from_data (data));