Reapply r3590 with frog fixes

frog/minfrog

Index: frog/minfrog
diff --git a/frog/minfrog b/frog/minfrog
index 06951f6951bcda28c95cdea99a8c66796caa4e26..1550aa03b18eac85296c262879273418e311f69a 100755
--- a/frog/minfrog
+++ b/frog/minfrog
@@ -3105,6 +3105,9 @@ WorldGenerator.prototype.analyze = function() {
     var $list0 = lib.get$types().getValues();
     for (var $i0 = $list0.iterator(); $i0.hasNext(); ) {
       var type = $i0.next();
+      if (type.get$library().get$isDom() || type.get$isHiddenNativeType()) {
+        if (type.get$isClass()) type.markUsed();
+      }
       ntypes += (1);
       var allMembers = [];
       allMembers.addAll(type.get$constructors().getValues());
@@ -3256,12 +3259,6 @@ WorldGenerator.prototype.writeTypes = function(lib) {
   var orderedTypes = this._orderValues(lib.types);
   for (var $$i = orderedTypes.iterator(); $$i.hasNext(); ) {
     var type = $$i.next();
-    if ((type.get$library().get$isDom() || type.get$isHiddenNativeType()) && type.get$isClass()) {
-      type.markUsed();
-    }
-  }
-  for (var $$i = orderedTypes.iterator(); $$i.hasNext(); ) {
-    var type = $$i.next();
     if (type.get$isUsed() && type.get$isClass()) {
       this.writeType(type);
       if (type.get$isGeneric() && type != $globals.world.listFactoryType) {