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;