eliminate JavaType