String[] searchPaths = dtedDirPaths;
    public String findFileName(double lat, double lon, int level) {        String lonString = DTEDFrameUtil.lonToFileString((float) lon);        String latString = DTEDFrameUtil.latToFileString((float) lat, level);        String partialFile = "/" + lonString + "/" + latString;        String[] searchPaths = dtedDirPaths;        String ret = findFileName(dtedDirPaths, partialFile);        // HACK to handle old DTED level 2 data, not needed for new        // data with .dt2 extension that should be included in the        // first dted path.        if (ret == null && level == 2) {            latString = DTEDFrameUtil.latToFileString((float) lat, 1);            partialFile = "/" + lonString + "/" + latString;            ret = findFileName(dted2DirPaths, partialFile);        }        return ret;    }