Proposal: Java API changes checker