String s = module.getCoverage (); if (s != null) { texta.append (margin + "Coverage: " + s + eol);
String s = module.getCoverage (); if (s != null) { _writer.println (margin + " Coverage: " + s);
String s = module.getCoverage (); if (s != null) { _writer.println (margn2 + element ("coverage", s));