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