Eclipse plug-in for editing Java properties files, automatically converts non-ASCII characters to unicode escape sequences.