JAL-3510 JAL-3153 clover instrumentation for tests