v3.11.2: Minor Code improvements

This is a small update that improves the code a bit. Namely, a buffered FileWriter is now used instead of the Files.copy option as that could cause duplicate entries in the JSON file.