removed run-time dependency on Java's global properties. They are only
used at initialization time now, such that -D options to the JVM are
respected. Otherwise the configuration of the evaluator is now all
object-oriented.