Discussing the design, decisions and discovery involved in developing Mutability Detector, an open-source analysis tool for Java.