Tell Java to always read files as UTF-8, not MacRoman :-(