Bugfixing: OutputStreamWriter is used instead of FileWriter to ensure UTF-8 saving