eliminated deprecated scala.collection.JavaConversions;
tuned imports;
explicit module UTF8;
deactivate unfinished charset provider for now, to avoid user confusion;
basic setup for Isabelle charset;