griddedCoverage.setPrecision(10.0 * Math.random()); defaultPrecision = false;
boolean defaultPrecision = true; if (Math.random() < .5) { griddedCoverage.setPrecision(10.0 * Math.random()); defaultPrecision = false;
griddedCoverage.setPrecision(10.0 * Math.random()); defaultPrecision = false;
boolean defaultPrecision = true; if (Math.random() < .5) { griddedCoverage.setPrecision(10.0 * Math.random()); defaultPrecision = false;