if (inputFile.isSameAs(outputFile.getPath())) { throw new SVGConverterException(ERROR_SOURCE_SAME_AS_DESTINATION, true /* fatal error */);
if (inputFile.isSameAs(outputFile.getPath())) { throw new SVGConverterException(ERROR_SOURCE_SAME_AS_DESTINATION, true /* fatal error */);
if (inputFile.isSameAs(outputFile.getPath())) { throw new SVGConverterException(ERROR_SOURCE_SAME_AS_DESTINATION, true /* fatal error */);