Handling UTF-8 files

- this stuff should probably be moved somewhere else.
Use default Java for workbench.