A universal inference tool for type qualifiers in Java 8 (JSR-308)