Merge "Track lint API changes in the Eclipse lint integration" into idea133