minor fix in JavaTypeExtensions