Update Coverage.java

Some comments.