String fname = context.getInitParameter("filename");
String fname = context.getInitParameter("datafilename");
    public static File dataFile(ServletContext context) {        File f;        String fname = context.getInitParameter("filename");        if (fname != null)            f = new File(fname);        else {            File tmpDir =                (File)context.getAttribute("javax.servlet.context.tempdir");            f = new File(tmpDir, "gwebcache.data");        }        //context.log("datafile=" + f);        return f;    }