Disabling indentation check in checkstyle task due to lack of support for wrapped lines; fixing parts of TraceFileVerifier.java.