/* automatically generated by JSCoverage - do not edit */