Java type description