GitHub repository: mernst/object-construction-checker
Description: An extension to the Java type system to catch badly-behaving builder pattterns