int begin = Locations.beginOf(error.location);
int end = Locations.endOf(error.location);
Position position = new Position(begin, end - begin);
int begin = Locations.beginOf(error.location);
int end = Locations.endOf(error.location);
Position position = new Position(begin, end - begin);