return new Resource(resname,getLocal(resloc.replace('.','/')+".class"));
return new Resource(resname,getLocal(resloc.replace('.',System.getProperty("file.separator").charAt(0))+".class"));
    public Resource get(String resname)       	throws java.io.IOException    {	// get from local host - todo: this is the same code the server uses	int p=resname.indexOf(":");	String restype=resname.substring(0,p);	// todo are errors checked?	String resloc=resname.substring(p+1);	if (restype.equals("class")) {	    return new Resource(resname,getLocal(resloc.replace('.','/')+".class"));	}else if (restype.equals("data")){	    return new Resource(resname,getLocal("data/"+resloc));	}else{	    throw new java.io.IOException("unknown requested resoure type: \""+restype+"\"");	}    }