Eclipse EclEmma 3.1.6