JDeodorant: Identification and Removal of Type-Checking Bad Smells