@Test
public void testSourceLocation() {

  SourceLocation sl = new SourceLocation("src/main/avro/txn/BlBla.avdl:6:5");
  Assert.assertEquals(6, sl.getLineNr());
  Assert.assertEquals(5, sl.getColNr());
  Assert.assertEquals("src/main/avro/txn/BlBla.avdl", sl.getFilePath());
}