if (reader == null) { file = "tile.bmp"; reader = new BMPReader();
if (reader == null) { file = "tile.bmp"; reader = new BMPReader();
tiffs = new ArrayList<String>(getImageCount()); thumbReader = new BMPReader(); if (thumbId != null) { thumbId = replaceExtension(thumbId, "pty", "bmp");
tiffs = new ArrayList<String>(getImageCount()); thumbReader = new BMPReader(); if (thumbId != null) { thumbId = replaceExtension(thumbId, "pty", "bmp");