Fix 13 undefined itjacoco settings