411412413414415416417418419420421
} } numberOfCoverages = numCoverages; // dispose the reader reader.dispose(); } catch (IOException e) { this.numberOfCoverages = 1; } catch (FactoryException fe) { this.numberOfCoverages = 1;