[JUMPDatabase]: Fixing bugs with new ARC.