Universe inconsistency error in JavaType.v