public Patch getPatchFromUrl(String s)
public IPatch getPatchFromUrl(String s)
    public Patch getPatchFromUrl(String s)    {	try {	    ErrorMsg.reportStatus("S = " + s);	    URL u = new URL(s);	    InputStream in = u.openStream();	    int b; int i=0;	    byte []buff = new byte[65536];	    do	      {		b = in.read();		if (b!=-1)		  {		    buff[i]=(byte)b;		    i++;		  }	      }	    while (b!=-1 && i<65535);	    byte []sysex = new byte[i];	    System.arraycopy(buff,0,sysex,0,i);	in.close();	    Patch p = new Patch(sysex);	    return p;	}catch (MalformedURLException e) {ErrorMsg.reportStatus("Malformed URL");}	catch (IOException ioe) {ErrorMsg.reportStatus("Network I/O Error");}	return null;    }