Better support for synchronized methods