The Checker Framework In Action By Werner Dietl and Michael Ernst