Adding ultimate.util.object.