Types in comments in java