Checkmark in JCheckBoxMenuItem not HiDPI/Retina capable

[Hendrik Schreiber]

Hey Guys,

just wondered - is it a known bug that the checkmarks of JCheckBoxMenuItems on 
build 1.8.0-ea-b121 aren't rendered as HiDPI version on Retina displays?

Thanks,

-hendrik