Attainable Zero: A JLC Case Study