Bug at Arraylist.size()