Improvement work at the Tokyo International Airport maintenance workshop (EXPIRED)