Cobertura v1.9.4.1 Release Notes

  • * Fix a problem that occurs in Tomcat.   When TouchCollector
      initializes, it calls ProjectData.initialize() which (with
      Tomcat only) eventually calls TouchCollector.   However,
      TouchCollector's static members have not been initialized.
      Added a test that highlights this problem.   (Thanks to Jack Cobb
      for suggesting the fix).
    * Runs on Java 5.  (Fix for Bug 2962599).