resource leak: Formatter was never closed