A tool for checking backward API/ABI compatibility of a Java library