double-decker jet maintenance