Make default counter algorithm-scoped, format-specific unmarshalling.

platform-independent/gui-java/build.gradle

@@ -13,3 +13,8 @@ dependencies {
     compile group: 'ch.qos.logback', name: 'logback-classic', version:'1.1.2'
     compile group: 'com.yuvimasory', name: 'orange-extensions', version:'1.3.0'
 }
+
+run {
+    // I don't fully understand why this is necessary, but without it -Dmp.log.level is lost.
+    systemProperties = System.properties
+}