Isn't proper type system and Java things that shouldn't ever be on the same phrase?