userdiff: support Java type parameters