Text this: A Java Compiler Plugin for Type-Safe Inferences in Generics