public void recomputeCoverage() { computeCoverage(); if (parent != null) { parent.recomputeCoverage(); } }