156157158159160161162
} } @Override public Coverage newCoverage() { return new DefaultCoverage(this); }