baseURI = map.getPrefix() + var.variantSuffix + "/"+ (x >> 5) + "_" + (y >> 5) + "/" + x + "_" + y;
}
baseFilename = world.getName() + "/" + baseURI;
uri = baseURI + "." + map.getImageFormat().getFileExt();
}
<BUG>private File getTileFile(ImageFormat fmt) {
</BUG>
if ((f == null) || (fmt != f_fmt)) {
f = new File(baseTileDir, baseFilename + "." + fmt.getFileExt());
f_fmt = fmt;

baseURI = map.getPrefix() + var.variantSuffix + "/"+ (x >> 5) + "_" + (y >> 5) + "/" + x + "_" + y;
}
baseFilename = world.getName() + "/" + baseURI;
uri = baseURI + "." + map.getImageFormat().getFileExt();
}
private File getTileFile(ImageEncoding fmt) {
if ((f == null) || (fmt != f_fmt)) {
f = new File(baseTileDir, baseFilename + "." + fmt.getFileExt());
f_fmt = fmt;
