Poco più sotto, sempre nella pagina da te linkata, c'è una possibile implementazione del metodo. E' chiaro che se tu butti lì un downloadUrl() lui (intendo Eclipse, NetBeans o quello che usi) non sa cosa sia.
Per tua comodità riporto il codice della doc
codice:
// Given a URL, establishes an HttpUrlConnection and retrieves
// the web page content as a InputStream, which it returns as
// a string.
privateString downloadUrl(String myurl)throwsIOException{
    InputStreamis=null;
    // Only display the first 500 characters of the retrieved
    // web page content.
    int len =500;
        
    try{
        URL url =new URL(myurl);
        HttpURLConnection conn =(HttpURLConnection) url.openConnection();
        conn.setReadTimeout(10000/* milliseconds */);
        conn.setConnectTimeout(15000/* milliseconds */);
        conn.setRequestMethod("GET");
        conn.setDoInput(true);
        // Starts the query
        conn.connect();
        int response = conn.getResponseCode();
        Log.d(DEBUG_TAG,"The response is: "+ response);
        is= conn.getInputStream();

        // Convert the InputStream into a string
        String contentAsString = readIt(is, len);
        return contentAsString;
        
    // Makes sure that the InputStream is closed after the app is
    // finished using it.
    }finally{
        if(is!=null){
            is.close();
        } 
    }
}