resource leak: FileInputStream was never closed