Update CoqTopXMLIO.java

some comments on code