<?xml version="1.0" encoding="iso-8859-1"?> <checkstyle version="mascot-1.0"> <file name="a2.ml"> <error severity="error" message="code duplicate (3 lines from file 'a.ml' starting at line 2)" source="code.textual_duplicate" line="4"/> <error severity="error" message="code duplicate (3 lines from file 'a.ml' starting at line 3)" source="code.textual_duplicate" line="5"/> </file> <file name="a3.ml"> <error severity="error" message="code duplicate (3 lines from file 'a2.ml' starting at line 4, and 1 other place)" source="code.textual_duplicate" line="2"/> <error severity="error" message="code duplicate (3 lines from file 'a2.ml' starting at line 5, and 1 other place)" source="code.textual_duplicate" line="3"/> </file> </checkstyle>