private void exportROI(ROI roi) { final String imageType = "tiff"; final Integer tempInteger = (Integer) jSpinnerJpegQuality.getValue(); final float jpegQuality = Math.round(((float) (tempInteger.floatValue())) / 100); for (int i = 0; i < 9999; i++) { String num = i == 0 ? "" : "_" + String.valueOf(i); File outFile = new File( jFileChooserOutputDir.getSelectedFile() + File.separator + roi.getName() + num + "." + imageType); if (outFile.exists()) { continue; } String result = imageSource.exportROI(roi, outFile, jpegQuality); System.out.println(result); AdvancedVirtualMicroscope.setStatusText(result, 5000); } }