Port to current jquery ui tab widget and remove ancient local copy