Array bound check elimination and HotSpot