Slide "Java types"