A tool for checking backward compatibility of a Java library