debugging false positive memory leak of InputReader (thread)