file writing is now java vendor independent (#485)