emul/src/main/resources/org/apidesign/vm4brwsr/emul/java_lang_String.js
author Jaroslav Tulach <jtulach@netbeans.org>
Wed, 21 Nov 2012 23:53:00 +0100
changeset 193 c705a447ce71
parent 190 6060d43a323a
child 194 fb6298cc9ec5
permissions -rw-r--r--
Partial support for String.hashCode
     1 /* */
     2 
     3 
     4 function java_lang_String_consVAC(self,charArr) {
     5     for (var i = 0; i < charArr.length; i++) {
     6         if (typeof charArr[i] === 'number') charArr[i] = String.fromCharCode(charArr[i]);
     7     }
     8     self.r = charArr.join("");
     9 }
    10 
    11 function java_lang_String_consVACII(self, charArr, off, cnt) {
    12     var up = off + cnt;
    13     for (var i = off; i < up; i++) {
    14         if (typeof charArr[i] === 'number') charArr[i] = String.fromCharCode(charArr[i]);
    15     }
    16     self.r = charArr.slice(off, up).join("");
    17 }
    18 
    19 function java_lang_String_charAtCI(arg0,arg1) {
    20     return arg0.toString().charCodeAt(arg1);
    21 }
    22 function java_lang_String_lengthI(arg0) {
    23     return arg0.toString().length;
    24 }
    25 function java_lang_String_isEmptyZ(arg0) {
    26     return arg0.toString().length === 0;
    27 }
    28 function java_lang_String_valueOfLjava_lang_StringI(n) {
    29     return n.toString();
    30 }
    31 
    32 function java_lang_String_startsWithZLjava_lang_StringI(self,find,from) {
    33     find = find.toString();
    34     return self.toString().substring(from, find.length) === find;
    35 }
    36 function java_lang_String_startsWithZLjava_lang_String(self,find) {
    37     find = find.toString();
    38     return self.toString().substring(0, find.length) === find;
    39 }
    40 function java_lang_String_endsWithZLjava_lang_String(self,find) {
    41     self = self.toString();
    42     find = find.toString();
    43     if (find.length > self.length) {
    44         return false;
    45     }
    46     return self.substring(self.length - find.length) === find;
    47 }
    48 
    49 function java_lang_String_indexOfII(arg0,ch) {
    50     if (typeof ch === 'number') ch = String.fromCharCode(ch);
    51     return arg0.toString().indexOf(ch);
    52 }
    53 function java_lang_String_indexOfIII(arg0,ch,from) {
    54     if (typeof ch === 'number') ch = String.fromCharCode(ch);
    55     return arg0.toString().indexOf(ch, from);
    56 }
    57 
    58 function java_lang_String_getCharsVACI(self, arr, to) {
    59     var s = self.toString();
    60     for (var i = 0; i < s.length; i++) {
    61         arr[to++] = s[i];
    62     }
    63 }
    64 
    65 /*
    66 function java_lang_String_codePointAtII(arg0,arg1) {
    67   var arg2;
    68 ;
    69   var stack = new Array(4);
    70   var gt = 0;
    71   for(;;) switch(gt) {
    72     case 0: stack.push(arg1); // 27
    73     case 1: if (stack.pop() < 0) { gt = 12; continue; } // 155 0 11
    74     case 4: stack.push(arg1); // 27
    75     case 5: stack.push(arg0); // 42
    76     case 6: stack.push(stack.pop().count); // 180 1 97
    77     case 9: if (stack.pop() > stack.pop()) { gt = 21; continue; } // 161 0 12
    78     case 12: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206
    79     case 15: stack.push(stack[stack.length - 1]); // 89
    80     case 16: stack.push(arg1); // 27
    81     case 17: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169
    82     case 20:  // 191
    83     case 21: stack.push(arg0); // 42
    84     case 22: stack.push(stack.pop().value); // 180 1 100
    85     case 25: stack.push(arg0); // 42
    86     case 26: stack.push(stack.pop().offset); // 180 1 99
    87     case 29: stack.push(arg1); // 27
    88     case 30: stack.push(stack.pop() + stack.pop()); // 96
    89     case 31: stack.push(arg0); // 42
    90     case 32: stack.push(stack.pop().offset); // 180 1 99
    91     case 35: stack.push(arg0); // 42
    92     case 36: stack.push(stack.pop().count); // 180 1 97
    93     case 39: stack.push(stack.pop() + stack.pop()); // 96
    94     case 40: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_codePointAtImplAIACAIAI(v0, v1, v2)); } // 184 1 113
    95     case 43: return stack.pop(); // 172
    96   }
    97 }
    98 function java_lang_String_codePointBeforeII(arg0,arg1) {
    99   var arg2;
   100   var arg3;
   101 ;
   102   var stack = new Array(3);
   103   var gt = 0;
   104   for(;;) switch(gt) {
   105     case 0: stack.push(arg1); // 27
   106     case 1: stack.push(1); // 4
   107     case 2: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   108     case 3: arg2 = stack.pop(); // 61
   109     case 4: stack.push(arg2); // 28
   110     case 5: if (stack.pop() < 0) { gt = 16; continue; } // 155 0 11
   111     case 8: stack.push(arg2); // 28
   112     case 9: stack.push(arg0); // 42
   113     case 10: stack.push(stack.pop().count); // 180 1 97
   114     case 13: if (stack.pop() > stack.pop()) { gt = 25; continue; } // 161 0 12
   115     case 16: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206
   116     case 19: stack.push(stack[stack.length - 1]); // 89
   117     case 20: stack.push(arg1); // 27
   118     case 21: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169
   119     case 24:  // 191
   120     case 25: stack.push(arg0); // 42
   121     case 26: stack.push(stack.pop().value); // 180 1 100
   122     case 29: stack.push(arg0); // 42
   123     case 30: stack.push(stack.pop().offset); // 180 1 99
   124     case 33: stack.push(arg1); // 27
   125     case 34: stack.push(stack.pop() + stack.pop()); // 96
   126     case 35: stack.push(arg0); // 42
   127     case 36: stack.push(stack.pop().offset); // 180 1 99
   128     case 39: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_codePointBeforeImplAIACAIAI(v0, v1, v2)); } // 184 1 114
   129     case 42: return stack.pop(); // 172
   130   }
   131 }
   132 function java_lang_String_codePointCountIII(arg0,arg1,arg2) {
   133   var arg3;
   134 ;
   135   var stack = new Array(4);
   136   var gt = 0;
   137   for(;;) switch(gt) {
   138     case 0: stack.push(arg1); // 27
   139     case 1: if (stack.pop() < 0) { gt = 17; continue; } // 155 0 16
   140     case 4: stack.push(arg2); // 28
   141     case 5: stack.push(arg0); // 42
   142     case 6: stack.push(stack.pop().count); // 180 1 97
   143     case 9: if (stack.pop() < stack.pop()) { gt = 17; continue; } // 163 0 8
   144     case 12: stack.push(arg1); // 27
   145     case 13: stack.push(arg2); // 28
   146     case 14: if (stack.pop() >= stack.pop()) { gt = 25; continue; } // 164 0 11
   147     case 17: stack.push(new java_lang_IndexOutOfBoundsException); // 187 0 194
   148     case 20: stack.push(stack[stack.length - 1]); // 89
   149     case 21: { java_lang_IndexOutOfBoundsException_consV(stack.pop()); } // 183 1 124
   150     case 24:  // 191
   151     case 25: stack.push(arg0); // 42
   152     case 26: stack.push(stack.pop().value); // 180 1 100
   153     case 29: stack.push(arg0); // 42
   154     case 30: stack.push(stack.pop().offset); // 180 1 99
   155     case 33: stack.push(arg1); // 27
   156     case 34: stack.push(stack.pop() + stack.pop()); // 96
   157     case 35: stack.push(arg2); // 28
   158     case 36: stack.push(arg1); // 27
   159     case 37: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   160     case 38: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_codePointCountImplAIACAIAI(v0, v1, v2)); } // 184 1 115
   161     case 41: return stack.pop(); // 172
   162   }
   163 }
   164 function java_lang_String_offsetByCodePointsIII(arg0,arg1,arg2) {
   165   var arg3;
   166 ;
   167   var stack = new Array(5);
   168   var gt = 0;
   169   for(;;) switch(gt) {
   170     case 0: stack.push(arg1); // 27
   171     case 1: if (stack.pop() < 0) { gt = 12; continue; } // 155 0 11
   172     case 4: stack.push(arg1); // 27
   173     case 5: stack.push(arg0); // 42
   174     case 6: stack.push(stack.pop().count); // 180 1 97
   175     case 9: if (stack.pop() >= stack.pop()) { gt = 20; continue; } // 164 0 11
   176     case 12: stack.push(new java_lang_IndexOutOfBoundsException); // 187 0 194
   177     case 15: stack.push(stack[stack.length - 1]); // 89
   178     case 16: { java_lang_IndexOutOfBoundsException_consV(stack.pop()); } // 183 1 124
   179     case 19:  // 191
   180     case 20: stack.push(arg0); // 42
   181     case 21: stack.push(stack.pop().value); // 180 1 100
   182     case 24: stack.push(arg0); // 42
   183     case 25: stack.push(stack.pop().offset); // 180 1 99
   184     case 28: stack.push(arg0); // 42
   185     case 29: stack.push(stack.pop().count); // 180 1 97
   186     case 32: stack.push(arg0); // 42
   187     case 33: stack.push(stack.pop().offset); // 180 1 99
   188     case 36: stack.push(arg1); // 27
   189     case 37: stack.push(stack.pop() + stack.pop()); // 96
   190     case 38: stack.push(arg2); // 28
   191     case 39: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_offsetByCodePointsImplAIACAIAIAIAI(v0, v1, v2, v3, v4)); } // 184 1 116
   192     case 42: stack.push(arg0); // 42
   193     case 43: stack.push(stack.pop().offset); // 180 1 99
   194     case 46: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   195     case 47: return stack.pop(); // 172
   196   }
   197 }
   198 */
   199 
   200 // public void getChars(int srcBegin, int srcEnd, char dst[], int dstBegin) {
   201 function java_lang_String_getCharsVIIACAI(arg0,arg1,arg2,arg3,arg4) {
   202     var s = arg0.toString();
   203     while (arg1 < arg2) {
   204         arg3[arg4++] = s[arg1++];
   205     }
   206 }
   207 
   208 /*
   209 function java_lang_String_getBytesVIIABI(arg0,arg1,arg2,arg3,arg4) {
   210   var arg5;
   211   var arg6;
   212   var arg7;
   213   var arg8;
   214   var arg9;
   215 ;
   216   var stack = new Array(4);
   217   var gt = 0;
   218   for(;;) switch(gt) {
   219     case 0: stack.push(arg1); // 27
   220     case 1: if (stack.pop() >= 0) { gt = 13; continue; } // 156 0 12
   221     case 4: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206
   222     case 7: stack.push(stack[stack.length - 1]); // 89
   223     case 8: stack.push(arg1); // 27
   224     case 9: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169
   225     case 12:  // 191
   226     case 13: stack.push(arg2); // 28
   227     case 14: stack.push(arg0); // 42
   228     case 15: stack.push(stack.pop().count); // 180 1 97
   229     case 18: if (stack.pop() >= stack.pop()) { gt = 30; continue; } // 164 0 12
   230     case 21: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206
   231     case 24: stack.push(stack[stack.length - 1]); // 89
   232     case 25: stack.push(arg2); // 28
   233     case 26: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169
   234     case 29:  // 191
   235     case 30: stack.push(arg1); // 27
   236     case 31: stack.push(arg2); // 28
   237     case 32: if (stack.pop() >= stack.pop()) { gt = 46; continue; } // 164 0 14
   238     case 35: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206
   239     case 38: stack.push(stack[stack.length - 1]); // 89
   240     case 39: stack.push(arg2); // 28
   241     case 40: stack.push(arg1); // 27
   242     case 41: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   243     case 42: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169
   244     case 45:  // 191
   245     case 46: stack.push(arg4); // 21 4
   246     case 48: arg5 = stack.pop() // 54 5
   247     case 50: stack.push(arg0); // 42
   248     case 51: stack.push(stack.pop().offset); // 180 1 99
   249     case 54: stack.push(arg2); // 28
   250     case 55: stack.push(stack.pop() + stack.pop()); // 96
   251     case 56: arg6 = stack.pop() // 54 6
   252     case 58: stack.push(arg0); // 42
   253     case 59: stack.push(stack.pop().offset); // 180 1 99
   254     case 62: stack.push(arg1); // 27
   255     case 63: stack.push(stack.pop() + stack.pop()); // 96
   256     case 64: arg7 = stack.pop() // 54 7
   257     case 66: stack.push(arg0); // 42
   258     case 67: stack.push(stack.pop().value); // 180 1 100
   259     case 70: arg8 = stack.pop() // 58 8
   260     case 72: stack.push(arg7); // 21 7
   261     case 74: stack.push(arg6); // 21 6
   262     case 76: if (stack.pop() <= stack.pop()) { gt = 98; continue; } // 162 0 22
   263     case 79: stack.push(arg3); // 45
   264     case 80: stack.push(arg5); // 21 5
   265     case 82: arg5++; // 132 5 1
   266     case 85: stack.push(arg8); // 25 8
   267     case 87: stack.push(arg7); // 21 7
   268     case 89: arg7++; // 132 7 1
   269     case 92: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   270     case 93: // number conversion  // 145
   271     case 94: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 84
   272     case 95: gt = 72; continue; // 167 255 233
   273     case 98: return; // 177
   274   }
   275 }
   276 function java_lang_String_getBytesABLjava_lang_String(arg0,arg1) {
   277   var arg2;
   278 ;
   279   var stack = new Array(4);
   280   var gt = 0;
   281   for(;;) switch(gt) {
   282     case 0: stack.push(arg1); // 43
   283     case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11
   284     case 4: stack.push(new java_lang_NullPointerException); // 187 0 198
   285     case 7: stack.push(stack[stack.length - 1]); // 89
   286     case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128
   287     case 11:  // 191
   288     case 12: stack.push(arg1); // 43
   289     case 13: stack.push(arg0); // 42
   290     case 14: stack.push(stack.pop().value); // 180 1 100
   291     case 17: stack.push(arg0); // 42
   292     case 18: stack.push(stack.pop().offset); // 180 1 99
   293     case 21: stack.push(arg0); // 42
   294     case 22: stack.push(stack.pop().count); // 180 1 97
   295     case 25: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_StringCoding_encodeABLjava_lang_StringACAIAI(v0, v1, v2, v3)); } // 184 1 166
   296     case 28: return stack.pop(); // 176
   297   }
   298 }
   299 function java_lang_String_getBytesABLjava_nio_charset_Charset(arg0,arg1) {
   300   var arg2;
   301 ;
   302   var stack = new Array(4);
   303   var gt = 0;
   304   for(;;) switch(gt) {
   305     case 0: stack.push(arg1); // 43
   306     case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11
   307     case 4: stack.push(new java_lang_NullPointerException); // 187 0 198
   308     case 7: stack.push(stack[stack.length - 1]); // 89
   309     case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128
   310     case 11:  // 191
   311     case 12: stack.push(arg1); // 43
   312     case 13: stack.push(arg0); // 42
   313     case 14: stack.push(stack.pop().value); // 180 1 100
   314     case 17: stack.push(arg0); // 42
   315     case 18: stack.push(stack.pop().offset); // 180 1 99
   316     case 21: stack.push(arg0); // 42
   317     case 22: stack.push(stack.pop().count); // 180 1 97
   318     case 25: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_StringCoding_encodeABLjava_nio_charset_CharsetACAIAI(v0, v1, v2, v3)); } // 184 1 168
   319     case 28: return stack.pop(); // 176
   320   }
   321 }
   322 function java_lang_String_getBytesAB(arg0) {
   323   var arg1;
   324 ;
   325   var stack = new Array(3);
   326   var gt = 0;
   327   for(;;) switch(gt) {
   328     case 0: stack.push(arg0); // 42
   329     case 1: stack.push(stack.pop().value); // 180 1 100
   330     case 4: stack.push(arg0); // 42
   331     case 5: stack.push(stack.pop().offset); // 180 1 99
   332     case 8: stack.push(arg0); // 42
   333     case 9: stack.push(stack.pop().count); // 180 1 97
   334     case 12: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_StringCoding_encodeABACAIAI(v0, v1, v2)); } // 184 1 164
   335     case 15: return stack.pop(); // 176
   336   }
   337 }
   338 */
   339 function java_lang_String_equalsZLjava_lang_Object(arg0,arg1) {
   340     return arg0.toString() === arg1.toString();
   341 }
   342 
   343 function java_lang_String_hashCodeI(self) {
   344     var h = 0;
   345     var s = self.toString();
   346     for (var i = 0; i < s.length; i++) {
   347         h = 31 * h + s.charCodeAt(i);
   348     }
   349     return h;
   350 }
   351 
   352 /*
   353 function java_lang_String_contentEqualsZLjava_lang_StringBuffer(arg0,arg1) {
   354   var arg2;
   355   var arg3;
   356   var arg4;
   357 ;
   358   var stack = new Array(2);
   359   var gt = 0;
   360   for(;;) switch(gt) {
   361     case 0: stack.push(arg1); // 43
   362     case 1: stack.push(stack[stack.length - 1]); // 89
   363     case 2: arg2 = stack.pop(); // 77
   364     case 3:  // 194
   365     case 4: stack.push(arg0); // 42
   366     case 5: stack.push(arg1); // 43
   367     case 6: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.contentEqualsZLjava_lang_CharSequence(self, v0)); } // 182 1 146
   368     case 9: stack.push(arg2); // 44
   369     case 10:  // 195
   370     case 11: return stack.pop(); // 172
   371     case 12: arg3 = stack.pop(); // 78
   372     case 13: stack.push(arg2); // 44
   373     case 14:  // 195
   374     case 15: stack.push(arg3); // 45
   375     case 16:  // 191
   376   }
   377 }
   378 function java_lang_String_contentEqualsZLjava_lang_CharSequence(arg0,arg1) {
   379   var arg2;
   380   var arg3;
   381   var arg4;
   382   var arg5;
   383   var arg6;
   384   var arg7;
   385 ;
   386   var stack = new Array(3);
   387   var gt = 0;
   388   for(;;) switch(gt) {
   389     case 0: stack.push(arg0); // 42
   390     case 1: stack.push(stack.pop().count); // 180 1 97
   391     case 4: stack.push(arg1); // 43
   392     case 5: { var self = stack.pop(); stack.push(self.lengthI(self)); } // 185 1 188
   393     case 8:  // 1
   394     case 9:  // 0
   395     case 10: if (stack.pop() == stack.pop()) { gt = 15; continue; } // 159 0 5
   396     case 13: stack.push(0); // 3
   397     case 14: return stack.pop(); // 172
   398     case 15: stack.push(arg1); // 43
   399     case 16: stack.push(stack.pop().$instOf_java_lang_AbstractStringBuilder ? 1 : 0); // 193 0 186
   400     case 19: if (stack.pop() == 0) { gt = 77; continue; } // 153 0 58
   401     case 22: stack.push(arg0); // 42
   402     case 23: stack.push(stack.pop().value); // 180 1 100
   403     case 26: arg2 = stack.pop(); // 77
   404     case 27: stack.push(arg1); // 43
   405     case 28: if(stack[stack.length - 1].$instOf_java_lang_AbstractStringBuilder != 1) throw {}; // 192 0 186
   406     case 31: { var self = stack.pop(); stack.push(self.getValueAC(self)); } // 182 1 103
   407     case 34: arg3 = stack.pop(); // 78
   408     case 35: stack.push(arg0); // 42
   409     case 36: stack.push(stack.pop().offset); // 180 1 99
   410     case 39: arg4 = stack.pop() // 54 4
   411     case 41: stack.push(0); // 3
   412     case 42: arg5 = stack.pop() // 54 5
   413     case 44: stack.push(arg0); // 42
   414     case 45: stack.push(stack.pop().count); // 180 1 97
   415     case 48: arg6 = stack.pop() // 54 6
   416     case 50: stack.push(arg6); // 21 6
   417     case 52: arg6 += 255; // 132 6 255
   418     case 55: if (stack.pop() == 0) { gt = 77; continue; } // 153 0 22
   419     case 58: stack.push(arg2); // 44
   420     case 59: stack.push(arg4); // 21 4
   421     case 61: arg4++; // 132 4 1
   422     case 64: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   423     case 65: stack.push(arg3); // 45
   424     case 66: stack.push(arg5); // 21 5
   425     case 68: arg5++; // 132 5 1
   426     case 71: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   427     case 72: if (stack.pop() == stack.pop()) { gt = 50; continue; } // 159 255 234
   428     case 75: stack.push(0); // 3
   429     case 76: return stack.pop(); // 172
   430     case 77: stack.push(arg1); // 43
   431     case 78: stack.push(arg0); // 42
   432     case 79: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.equalsZLjava_lang_Object(self, v0)); } // 182 1 131
   433     case 82: if (stack.pop() == 0) { gt = 87; continue; } // 153 0 5
   434     case 85: stack.push(1); // 4
   435     case 86: return stack.pop(); // 172
   436     case 87: stack.push(arg0); // 42
   437     case 88: stack.push(stack.pop().value); // 180 1 100
   438     case 91: arg2 = stack.pop(); // 77
   439     case 92: stack.push(arg0); // 42
   440     case 93: stack.push(stack.pop().offset); // 180 1 99
   441     case 96: arg3 = stack.pop(); // 62
   442     case 97: stack.push(0); // 3
   443     case 98: arg4 = stack.pop() // 54 4
   444     case 100: stack.push(arg0); // 42
   445     case 101: stack.push(stack.pop().count); // 180 1 97
   446     case 104: arg5 = stack.pop() // 54 5
   447     case 106: stack.push(arg5); // 21 5
   448     case 108: arg5 += 255; // 132 5 255
   449     case 111: if (stack.pop() == 0) { gt = 136; continue; } // 153 0 25
   450     case 114: stack.push(arg2); // 44
   451     case 115: stack.push(arg3); // 29
   452     case 116: arg3++; // 132 3 1
   453     case 119: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   454     case 120: stack.push(arg1); // 43
   455     case 121: stack.push(arg4); // 21 4
   456     case 123: arg4++; // 132 4 1
   457     case 126: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.charAtCI(self, v0)); } // 185 1 189
   458     case 129:  // 2
   459     case 130:  // 0
   460     case 131: if (stack.pop() == stack.pop()) { gt = 106; continue; } // 159 255 231
   461     case 134: stack.push(0); // 3
   462     case 135: return stack.pop(); // 172
   463     case 136: stack.push(1); // 4
   464     case 137: return stack.pop(); // 172
   465   }
   466 }
   467 function java_lang_String_equalsIgnoreCaseZLjava_lang_String(arg0,arg1) {
   468   var arg2;
   469 ;
   470   var stack = new Array(6);
   471   var gt = 0;
   472   for(;;) switch(gt) {
   473     case 0: stack.push(arg0); // 42
   474     case 1: stack.push(arg1); // 43
   475     case 2:  // 166
   476     case 3:  // 0
   477     case 4: stack.push(4); // 7
   478     case 5: stack.push(1); // 4
   479     case 6: gt = 44; continue; // 167 0 38
   480     case 9: stack.push(arg1); // 43
   481     case 10: if (!stack.pop()) { gt = 43; continue; } // 198 0 33
   482     case 13: stack.push(arg1); // 43
   483     case 14: stack.push(stack.pop().count); // 180 1 97
   484     case 17: stack.push(arg0); // 42
   485     case 18: stack.push(stack.pop().count); // 180 1 97
   486     case 21: if (stack.pop() != stack.pop()) { gt = 43; continue; } // 160 0 22
   487     case 24: stack.push(arg0); // 42
   488     case 25: stack.push(1); // 4
   489     case 26: stack.push(0); // 3
   490     case 27: stack.push(arg1); // 43
   491     case 28: stack.push(0); // 3
   492     case 29: stack.push(arg0); // 42
   493     case 30: stack.push(stack.pop().count); // 180 1 97
   494     case 33: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.regionMatchesZZILjava_lang_StringII(self, v0, v1, v2, v3, v4)); } // 182 1 153
   495     case 36: if (stack.pop() == 0) { gt = 43; continue; } // 153 0 7
   496     case 39: stack.push(1); // 4
   497     case 40: gt = 44; continue; // 167 0 4
   498     case 43: stack.push(0); // 3
   499     case 44: return stack.pop(); // 172
   500   }
   501 }
   502 function java_lang_String_compareToILjava_lang_String(arg0,arg1) {
   503   var arg2;
   504   var arg3;
   505   var arg4;
   506   var arg5;
   507   var arg6;
   508   var arg7;
   509   var arg8;
   510   var arg9;
   511   var arg10;
   512   var arg11;
   513   var arg12;
   514   var arg13;
   515 ;
   516   var stack = new Array(2);
   517   var gt = 0;
   518   for(;;) switch(gt) {
   519     case 0: stack.push(arg0); // 42
   520     case 1: stack.push(stack.pop().count); // 180 1 97
   521     case 4: arg2 = stack.pop(); // 61
   522     case 5: stack.push(arg1); // 43
   523     case 6: stack.push(stack.pop().count); // 180 1 97
   524     case 9: arg3 = stack.pop(); // 62
   525     case 10: stack.push(arg2); // 28
   526     case 11: stack.push(arg3); // 29
   527     case 12: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Math_minIII(v0, v1)); } // 184 1 127
   528     case 15: arg4 = stack.pop() // 54 4
   529     case 17: stack.push(arg0); // 42
   530     case 18: stack.push(stack.pop().value); // 180 1 100
   531     case 21: arg5 = stack.pop() // 58 5
   532     case 23: stack.push(arg1); // 43
   533     case 24: stack.push(stack.pop().value); // 180 1 100
   534     case 27: arg6 = stack.pop() // 58 6
   535     case 29: stack.push(arg0); // 42
   536     case 30: stack.push(stack.pop().offset); // 180 1 99
   537     case 33: arg7 = stack.pop() // 54 7
   538     case 35: stack.push(arg1); // 43
   539     case 36: stack.push(stack.pop().offset); // 180 1 99
   540     case 39: arg8 = stack.pop() // 54 8
   541     case 41: stack.push(arg7); // 21 7
   542     case 43: stack.push(arg8); // 21 8
   543     case 45: if (stack.pop() != stack.pop()) { gt = 102; continue; } // 160 0 57
   544     case 48: stack.push(arg7); // 21 7
   545     case 50: arg9 = stack.pop() // 54 9
   546     case 52: stack.push(arg4); // 21 4
   547     case 54: stack.push(arg7); // 21 7
   548     case 56: stack.push(stack.pop() + stack.pop()); // 96
   549     case 57: arg10 = stack.pop() // 54 10
   550     case 59: stack.push(arg9); // 21 9
   551     case 61: stack.push(arg10); // 21 10
   552     case 63: if (stack.pop() <= stack.pop()) { gt = 99; continue; } // 162 0 36
   553     case 66: stack.push(arg5); // 25 5
   554     case 68: stack.push(arg9); // 21 9
   555     case 70: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   556     case 71: arg11 = stack.pop() // 54 11
   557     case 73: stack.push(arg6); // 25 6
   558     case 75: stack.push(arg9); // 21 9
   559     case 77: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   560     case 78: arg12 = stack.pop() // 54 12
   561     case 80: stack.push(arg11); // 21 11
   562     case 82: stack.push(arg12); // 21 12
   563     case 84: if (stack.pop() == stack.pop()) { gt = 93; continue; } // 159 0 9
   564     case 87: stack.push(arg11); // 21 11
   565     case 89: stack.push(arg12); // 21 12
   566     case 91: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   567     case 92: return stack.pop(); // 172
   568     case 93: arg9++; // 132 9 1
   569     case 96: gt = 59; continue; // 167 255 219
   570     case 99: gt = 146; continue; // 167 0 47
   571     case 102: stack.push(arg4); // 21 4
   572     case 104: arg4 += 255; // 132 4 255
   573     case 107: if (stack.pop() == 0) { gt = 146; continue; } // 153 0 39
   574     case 110: stack.push(arg5); // 25 5
   575     case 112: stack.push(arg7); // 21 7
   576     case 114: arg7++; // 132 7 1
   577     case 117: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   578     case 118: arg9 = stack.pop() // 54 9
   579     case 120: stack.push(arg6); // 25 6
   580     case 122: stack.push(arg8); // 21 8
   581     case 124: arg8++; // 132 8 1
   582     case 127: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   583     case 128: arg10 = stack.pop() // 54 10
   584     case 130: stack.push(arg9); // 21 9
   585     case 132: stack.push(arg10); // 21 10
   586     case 134: if (stack.pop() == stack.pop()) { gt = 143; continue; } // 159 0 9
   587     case 137: stack.push(arg9); // 21 9
   588     case 139: stack.push(arg10); // 21 10
   589     case 141: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   590     case 142: return stack.pop(); // 172
   591     case 143: gt = 102; continue; // 167 255 215
   592     case 146: stack.push(arg2); // 28
   593     case 147: stack.push(arg3); // 29
   594     case 148: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   595     case 149: return stack.pop(); // 172
   596   }
   597 }
   598 function java_lang_String_compareToIgnoreCaseILjava_lang_String(arg0,arg1) {
   599   var arg2;
   600 ;
   601   var stack = new Array(3);
   602   var gt = 0;
   603   for(;;) switch(gt) {
   604     case 0: stack.push(java_lang_String_CASE_INSENSITIVE_ORDER); // 178 1 102
   605     case 3: stack.push(arg0); // 42
   606     case 4: stack.push(arg1); // 43
   607     case 5: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.compareILjava_lang_ObjectLjava_lang_Object(self, v0, v1)); } // 185 1 190
   608     case 8: stack.push(0); // 3
   609     case 9:  // 0
   610     case 10: return stack.pop(); // 172
   611   }
   612 }
   613 function java_lang_String_regionMatchesZILjava_lang_StringII(arg0,arg1,arg2,arg3,arg4) {
   614   var arg5;
   615   var arg6;
   616   var arg7;
   617   var arg8;
   618   var arg9;
   619 ;
   620   var stack = new Array(6);
   621   var gt = 0;
   622   for(;;) switch(gt) {
   623     case 0: stack.push(arg0); // 42
   624     case 1: stack.push(stack.pop().value); // 180 1 100
   625     case 4: arg5 = stack.pop() // 58 5
   626     case 6: stack.push(arg0); // 42
   627     case 7: stack.push(stack.pop().offset); // 180 1 99
   628     case 10: stack.push(arg1); // 27
   629     case 11: stack.push(stack.pop() + stack.pop()); // 96
   630     case 12: arg6 = stack.pop() // 54 6
   631     case 14: stack.push(arg2); // 44
   632     case 15: stack.push(stack.pop().value); // 180 1 100
   633     case 18: arg7 = stack.pop() // 58 7
   634     case 20: stack.push(arg2); // 44
   635     case 21: stack.push(stack.pop().offset); // 180 1 99
   636     case 24: stack.push(arg3); // 29
   637     case 25: stack.push(stack.pop() + stack.pop()); // 96
   638     case 26: arg8 = stack.pop() // 54 8
   639     case 28: stack.push(arg3); // 29
   640     case 29: if (stack.pop() < 0) { gt = 66; continue; } // 155 0 37
   641     case 32: stack.push(arg1); // 27
   642     case 33: if (stack.pop() < 0) { gt = 66; continue; } // 155 0 33
   643     case 36: stack.push(arg1); // 27
   644     case 37: // number conversion  // 133
   645     case 38: stack.push(arg0); // 42
   646     case 39: stack.push(stack.pop().count); // 180 1 97
   647     case 42: // number conversion  // 133
   648     case 43: stack.push(arg4); // 21 4
   649     case 45: // number conversion  // 133
   650     case 46: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101
   651     case 47: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148
   652     case 48: if (stack.pop() > 0) { gt = 66; continue; } // 157 0 18
   653     case 51: stack.push(arg3); // 29
   654     case 52: // number conversion  // 133
   655     case 53: stack.push(arg2); // 44
   656     case 54: stack.push(stack.pop().count); // 180 1 97
   657     case 57: // number conversion  // 133
   658     case 58: stack.push(arg4); // 21 4
   659     case 60: // number conversion  // 133
   660     case 61: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101
   661     case 62: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148
   662     case 63: if (stack.pop() <= 0) { gt = 68; continue; } // 158 0 5
   663     case 66: stack.push(0); // 3
   664     case 67: return stack.pop(); // 172
   665     case 68: stack.push(arg4); // 21 4
   666     case 70: arg4 += 255; // 132 4 255
   667     case 73: if (stack.pop() <= 0) { gt = 97; continue; } // 158 0 24
   668     case 76: stack.push(arg5); // 25 5
   669     case 78: stack.push(arg6); // 21 6
   670     case 80: arg6++; // 132 6 1
   671     case 83: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   672     case 84: stack.push(arg7); // 25 7
   673     case 86: stack.push(arg8); // 21 8
   674     case 88: arg8++; // 132 8 1
   675     case 91: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   676     case 92: if (stack.pop() == stack.pop()) { gt = 68; continue; } // 159 255 232
   677     case 95: stack.push(0); // 3
   678     case 96: return stack.pop(); // 172
   679     case 97: stack.push(1); // 4
   680     case 98: return stack.pop(); // 172
   681   }
   682 }
   683 function java_lang_String_regionMatchesZZILjava_lang_StringII(arg0,arg1,arg2,arg3,arg4,arg5) {
   684   var arg6;
   685   var arg7;
   686   var arg8;
   687   var arg9;
   688   var arg10;
   689   var arg11;
   690   var arg12;
   691   var arg13;
   692   var arg14;
   693 ;
   694   var stack = new Array(6);
   695   var gt = 0;
   696   for(;;) switch(gt) {
   697     case 0: stack.push(arg0); // 42
   698     case 1: stack.push(stack.pop().value); // 180 1 100
   699     case 4: arg6 = stack.pop() // 58 6
   700     case 6: stack.push(arg0); // 42
   701     case 7: stack.push(stack.pop().offset); // 180 1 99
   702     case 10: stack.push(arg2); // 28
   703     case 11: stack.push(stack.pop() + stack.pop()); // 96
   704     case 12: arg7 = stack.pop() // 54 7
   705     case 14: stack.push(arg3); // 45
   706     case 15: stack.push(stack.pop().value); // 180 1 100
   707     case 18: arg8 = stack.pop() // 58 8
   708     case 20: stack.push(arg3); // 45
   709     case 21: stack.push(stack.pop().offset); // 180 1 99
   710     case 24: stack.push(arg4); // 21 4
   711     case 26: stack.push(stack.pop() + stack.pop()); // 96
   712     case 27: arg9 = stack.pop() // 54 9
   713     case 29: stack.push(arg4); // 21 4
   714     case 31: if (stack.pop() < 0) { gt = 69; continue; } // 155 0 38
   715     case 34: stack.push(arg2); // 28
   716     case 35: if (stack.pop() < 0) { gt = 69; continue; } // 155 0 34
   717     case 38: stack.push(arg2); // 28
   718     case 39: // number conversion  // 133
   719     case 40: stack.push(arg0); // 42
   720     case 41: stack.push(stack.pop().count); // 180 1 97
   721     case 44: // number conversion  // 133
   722     case 45: stack.push(arg5); // 21 5
   723     case 47: // number conversion  // 133
   724     case 48: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101
   725     case 49: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148
   726     case 50: if (stack.pop() > 0) { gt = 69; continue; } // 157 0 19
   727     case 53: stack.push(arg4); // 21 4
   728     case 55: // number conversion  // 133
   729     case 56: stack.push(arg3); // 45
   730     case 57: stack.push(stack.pop().count); // 180 1 97
   731     case 60: // number conversion  // 133
   732     case 61: stack.push(arg5); // 21 5
   733     case 63: // number conversion  // 133
   734     case 64: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101
   735     case 65: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148
   736     case 66: if (stack.pop() <= 0) { gt = 71; continue; } // 158 0 5
   737     case 69: stack.push(0); // 3
   738     case 70: return stack.pop(); // 172
   739     case 71: stack.push(arg5); // 21 5
   740     case 73: arg5 += 255; // 132 5 255
   741     case 76: if (stack.pop() <= 0) { gt = 155; continue; } // 158 0 79
   742     case 79: stack.push(arg6); // 25 6
   743     case 81: stack.push(arg7); // 21 7
   744     case 83: arg7++; // 132 7 1
   745     case 86: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   746     case 87: arg10 = stack.pop() // 54 10
   747     case 89: stack.push(arg8); // 25 8
   748     case 91: stack.push(arg9); // 21 9
   749     case 93: arg9++; // 132 9 1
   750     case 96: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   751     case 97: arg11 = stack.pop() // 54 11
   752     case 99: stack.push(arg10); // 21 10
   753     case 101: stack.push(arg11); // 21 11
   754     case 103: if (stack.pop() != stack.pop()) { gt = 109; continue; } // 160 0 6
   755     case 106: gt = 71; continue; // 167 255 221
   756     case 109: stack.push(arg1); // 27
   757     case 110: if (stack.pop() == 0) { gt = 153; continue; } // 153 0 43
   758     case 113: stack.push(arg10); // 21 10
   759     case 115: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseCC(v0)); } // 184 1 105
   760     case 118: arg12 = stack.pop() // 54 12
   761     case 120: stack.push(arg11); // 21 11
   762     case 122: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseCC(v0)); } // 184 1 105
   763     case 125: arg13 = stack.pop() // 54 13
   764     case 127: stack.push(arg12); // 21 12
   765     case 129: stack.push(arg13); // 21 13
   766     case 131: if (stack.pop() != stack.pop()) { gt = 137; continue; } // 160 0 6
   767     case 134: gt = 71; continue; // 167 255 193
   768     case 137: stack.push(arg12); // 21 12
   769     case 139: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseCC(v0)); } // 184 1 104
   770     case 142: stack.push(arg13); // 21 13
   771     case 144: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseCC(v0)); } // 184 1 104
   772     case 147: if (stack.pop() != stack.pop()) { gt = 153; continue; } // 160 0 6
   773     case 150: gt = 71; continue; // 167 255 177
   774     case 153: stack.push(0); // 3
   775     case 154: return stack.pop(); // 172
   776     case 155: stack.push(1); // 4
   777     case 156: return stack.pop(); // 172
   778   }
   779 }
   780 function java_lang_String_startsWithZLjava_lang_StringI(arg0,arg1,arg2) {
   781   var arg3;
   782   var arg4;
   783   var arg5;
   784   var arg6;
   785   var arg7;
   786   var arg8;
   787 ;
   788   var stack = new Array(3);
   789   var gt = 0;
   790   for(;;) switch(gt) {
   791     case 0: stack.push(arg0); // 42
   792     case 1: stack.push(stack.pop().value); // 180 1 100
   793     case 4: arg3 = stack.pop(); // 78
   794     case 5: stack.push(arg0); // 42
   795     case 6: stack.push(stack.pop().offset); // 180 1 99
   796     case 9: stack.push(arg2); // 28
   797     case 10: stack.push(stack.pop() + stack.pop()); // 96
   798     case 11: arg4 = stack.pop() // 54 4
   799     case 13: stack.push(arg1); // 43
   800     case 14: stack.push(stack.pop().value); // 180 1 100
   801     case 17: arg5 = stack.pop() // 58 5
   802     case 19: stack.push(arg1); // 43
   803     case 20: stack.push(stack.pop().offset); // 180 1 99
   804     case 23: arg6 = stack.pop() // 54 6
   805     case 25: stack.push(arg1); // 43
   806     case 26: stack.push(stack.pop().count); // 180 1 97
   807     case 29: arg7 = stack.pop() // 54 7
   808     case 31: stack.push(arg2); // 28
   809     case 32: if (stack.pop() < 0) { gt = 46; continue; } // 155 0 14
   810     case 35: stack.push(arg2); // 28
   811     case 36: stack.push(arg0); // 42
   812     case 37: stack.push(stack.pop().count); // 180 1 97
   813     case 40: stack.push(arg7); // 21 7
   814     case 42: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   815     case 43: if (stack.pop() >= stack.pop()) { gt = 48; continue; } // 164 0 5
   816     case 46: stack.push(0); // 3
   817     case 47: return stack.pop(); // 172
   818     case 48: arg7 += 255; // 132 7 255
   819     case 51: stack.push(arg7); // 21 7
   820     case 53: if (stack.pop() < 0) { gt = 76; continue; } // 155 0 23
   821     case 56: stack.push(arg3); // 45
   822     case 57: stack.push(arg4); // 21 4
   823     case 59: arg4++; // 132 4 1
   824     case 62: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   825     case 63: stack.push(arg5); // 25 5
   826     case 65: stack.push(arg6); // 21 6
   827     case 67: arg6++; // 132 6 1
   828     case 70: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   829     case 71: if (stack.pop() == stack.pop()) { gt = 48; continue; } // 159 255 233
   830     case 74: stack.push(0); // 3
   831     case 75: return stack.pop(); // 172
   832     case 76: stack.push(1); // 4
   833     case 77: return stack.pop(); // 172
   834   }
   835 }
   836 function java_lang_String_startsWithZLjava_lang_String(arg0,arg1) {
   837   var arg2;
   838 ;
   839   var stack = new Array(3);
   840   var gt = 0;
   841   for(;;) switch(gt) {
   842     case 0: stack.push(arg0); // 42
   843     case 1: stack.push(arg1); // 43
   844     case 2: stack.push(0); // 3
   845     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.startsWithZLjava_lang_StringI(self, v0, v1)); } // 182 1 152
   846     case 6: return stack.pop(); // 172
   847   }
   848 }
   849 function java_lang_String_endsWithZLjava_lang_String(arg0,arg1) {
   850   var arg2;
   851 ;
   852   var stack = new Array(4);
   853   var gt = 0;
   854   for(;;) switch(gt) {
   855     case 0: stack.push(arg0); // 42
   856     case 1: stack.push(arg1); // 43
   857     case 2: stack.push(arg0); // 42
   858     case 3: stack.push(stack.pop().count); // 180 1 97
   859     case 6: stack.push(arg1); // 43
   860     case 7: stack.push(stack.pop().count); // 180 1 97
   861     case 10: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   862     case 11: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.startsWithZLjava_lang_StringI(self, v0, v1)); } // 182 1 152
   863     case 14: return stack.pop(); // 172
   864   }
   865 }
   866 function java_lang_String_lastIndexOfII(arg0,arg1) {
   867   var arg2;
   868 ;
   869   var stack = new Array(4);
   870   var gt = 0;
   871   for(;;) switch(gt) {
   872     case 0: stack.push(arg0); // 42
   873     case 1: stack.push(arg1); // 27
   874     case 2: stack.push(arg0); // 42
   875     case 3: stack.push(stack.pop().count); // 180 1 97
   876     case 6: stack.push(1); // 4
   877     case 7: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   878     case 8: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.lastIndexOfIII(self, v0, v1)); } // 182 1 136
   879     case 11: return stack.pop(); // 172
   880   }
   881 }
   882 function java_lang_String_lastIndexOfIII(arg0,arg1,arg2) {
   883   var arg3;
   884   var arg4;
   885   var arg5;
   886   var arg6;
   887   var arg7;
   888   var arg8;
   889 ;
   890   var stack = new Array(3);
   891   var gt = 0;
   892   for(;;) switch(gt) {
   893     case 0: stack.push(arg0); // 42
   894     case 1: stack.push(stack.pop().offset); // 180 1 99
   895     case 4: arg3 = stack.pop(); // 62
   896     case 5: stack.push(arg0); // 42
   897     case 6: stack.push(stack.pop().value); // 180 1 100
   898     case 9: arg4 = stack.pop() // 58 4
   899     case 11: stack.push(arg0); // 42
   900     case 12: stack.push(stack.pop().offset); // 180 1 99
   901     case 15: stack.push(arg2); // 28
   902     case 16: stack.push(arg0); // 42
   903     case 17: stack.push(stack.pop().count); // 180 1 97
   904     case 20: if (stack.pop() > stack.pop()) { gt = 32; continue; } // 161 0 12
   905     case 23: stack.push(arg0); // 42
   906     case 24: stack.push(stack.pop().count); // 180 1 97
   907     case 27: stack.push(1); // 4
   908     case 28: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   909     case 29: gt = 33; continue; // 167 0 4
   910     case 32: stack.push(arg2); // 28
   911     case 33: stack.push(stack.pop() + stack.pop()); // 96
   912     case 34: arg5 = stack.pop() // 54 5
   913     case 36: stack.push(arg1); // 27
   914     case 37: stack.push(65536); // 18 3
   915     case 39: if (stack.pop() <= stack.pop()) { gt = 73; continue; } // 162 0 34
   916     case 42: stack.push(arg5); // 21 5
   917     case 44: stack.push(arg3); // 29
   918     case 45: if (stack.pop() > stack.pop()) { gt = 71; continue; } // 161 0 26
   919     case 48: stack.push(arg4); // 25 4
   920     case 50: stack.push(arg5); // 21 5
   921     case 52: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   922     case 53: stack.push(arg1); // 27
   923     case 54: if (stack.pop() != stack.pop()) { gt = 65; continue; } // 160 0 11
   924     case 57: stack.push(arg5); // 21 5
   925     case 59: stack.push(arg0); // 42
   926     case 60: stack.push(stack.pop().offset); // 180 1 99
   927     case 63: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   928     case 64: return stack.pop(); // 172
   929     case 65: arg5 += 255; // 132 5 255
   930     case 68: gt = 42; continue; // 167 255 230
   931     case 71:  // 2
   932     case 72: return stack.pop(); // 172
   933     case 73: stack.push(arg0); // 42
   934     case 74: stack.push(stack.pop().offset); // 180 1 99
   935     case 77: stack.push(arg0); // 42
   936     case 78: stack.push(stack.pop().count); // 180 1 97
   937     case 81: stack.push(stack.pop() + stack.pop()); // 96
   938     case 82: arg6 = stack.pop() // 54 6
   939     case 84: stack.push(arg1); // 27
   940     case 85: stack.push(1114111); // 18 4
   941     case 87: if (stack.pop() < stack.pop()) { gt = 154; continue; } // 163 0 67
   942     case 90: stack.push(arg1); // 27
   943     case 91: { var v0 = stack.pop(); stack.push(java_lang_Character_toCharsACI(v0)); } // 184 1 109
   944     case 94: arg7 = stack.pop() // 58 7
   945     case 96: stack.push(arg5); // 21 5
   946     case 98: stack.push(arg3); // 29
   947     case 99: if (stack.pop() > stack.pop()) { gt = 154; continue; } // 161 0 55
   948     case 102: stack.push(arg4); // 25 4
   949     case 104: stack.push(arg5); // 21 5
   950     case 106: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   951     case 107: stack.push(arg7); // 25 7
   952     case 109: stack.push(0); // 3
   953     case 110: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   954     case 111: if (stack.pop() != stack.pop()) { gt = 148; continue; } // 160 0 37
   955     case 114: stack.push(arg5); // 21 5
   956     case 116: stack.push(1); // 4
   957     case 117: stack.push(stack.pop() + stack.pop()); // 96
   958     case 118: stack.push(arg6); // 21 6
   959     case 120: if (stack.pop() != stack.pop()) { gt = 126; continue; } // 160 0 6
   960     case 123: gt = 154; continue; // 167 0 31
   961     case 126: stack.push(arg4); // 25 4
   962     case 128: stack.push(arg5); // 21 5
   963     case 130: stack.push(1); // 4
   964     case 131: stack.push(stack.pop() + stack.pop()); // 96
   965     case 132: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   966     case 133: stack.push(arg7); // 25 7
   967     case 135: stack.push(1); // 4
   968     case 136: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
   969     case 137: if (stack.pop() != stack.pop()) { gt = 148; continue; } // 160 0 11
   970     case 140: stack.push(arg5); // 21 5
   971     case 142: stack.push(arg0); // 42
   972     case 143: stack.push(stack.pop().offset); // 180 1 99
   973     case 146: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
   974     case 147: return stack.pop(); // 172
   975     case 148: arg5 += 255; // 132 5 255
   976     case 151: gt = 96; continue; // 167 255 201
   977     case 154:  // 2
   978     case 155: return stack.pop(); // 172
   979   }
   980 }
   981 function java_lang_String_indexOfILjava_lang_String(arg0,arg1) {
   982   var arg2;
   983 ;
   984   var stack = new Array(3);
   985   var gt = 0;
   986   for(;;) switch(gt) {
   987     case 0: stack.push(arg0); // 42
   988     case 1: stack.push(arg1); // 43
   989     case 2: stack.push(0); // 3
   990     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.indexOfILjava_lang_StringI(self, v0, v1)); } // 182 1 150
   991     case 6: return stack.pop(); // 172
   992   }
   993 }
   994 function java_lang_String_indexOfILjava_lang_StringI(arg0,arg1,arg2) {
   995   var arg3;
   996 ;
   997   var stack = new Array(7);
   998   var gt = 0;
   999   for(;;) switch(gt) {
  1000     case 0: stack.push(arg0); // 42
  1001     case 1: stack.push(stack.pop().value); // 180 1 100
  1002     case 4: stack.push(arg0); // 42
  1003     case 5: stack.push(stack.pop().offset); // 180 1 99
  1004     case 8: stack.push(arg0); // 42
  1005     case 9: stack.push(stack.pop().count); // 180 1 97
  1006     case 12: stack.push(arg1); // 43
  1007     case 13: stack.push(stack.pop().value); // 180 1 100
  1008     case 16: stack.push(arg1); // 43
  1009     case 17: stack.push(stack.pop().offset); // 180 1 99
  1010     case 20: stack.push(arg1); // 43
  1011     case 21: stack.push(stack.pop().count); // 180 1 97
  1012     case 24: stack.push(arg2); // 28
  1013     case 25: { var v6 = stack.pop(); var v5 = stack.pop(); var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_String_indexOfAIACAIAIACAIAIAI(v0, v1, v2, v3, v4, v5, v6)); } // 184 1 144
  1014     case 28: return stack.pop(); // 172
  1015   }
  1016 }
  1017 function java_lang_String_indexOfIACIIACIII(arg0,arg1,arg2,arg3,arg4,arg5,arg6) {
  1018   var arg7;
  1019   var arg8;
  1020   var arg9;
  1021   var arg10;
  1022   var arg11;
  1023   var arg12;
  1024   var stack = new Array();
  1025   var gt = 0;
  1026   for(;;) switch(gt) {
  1027     case 0: stack.push(arg6); // 21 6
  1028     case 2: stack.push(arg2); // 28
  1029     case 3: if (stack.pop() > stack.pop()) { gt = 17; continue; } // 161 0 14
  1030     case 6: stack.push(arg5); // 21 5
  1031     case 8: if (stack.pop() != 0) { gt = 15; continue; } // 154 0 7
  1032     case 11: stack.push(arg2); // 28
  1033     case 12: gt = 16; continue; // 167 0 4
  1034     case 15:  // 2
  1035     case 16: return stack.pop(); // 172
  1036     case 17: stack.push(arg6); // 21 6
  1037     case 19: if (stack.pop() >= 0) { gt = 25; continue; } // 156 0 6
  1038     case 22: stack.push(0); // 3
  1039     case 23: arg6 = stack.pop() // 54 6
  1040     case 25: stack.push(arg5); // 21 5
  1041     case 27: if (stack.pop() != 0) { gt = 33; continue; } // 154 0 6
  1042     case 30: stack.push(arg6); // 21 6
  1043     case 32: return stack.pop(); // 172
  1044     case 33: stack.push(arg3); // 45
  1045     case 34: stack.push(arg4); // 21 4
  1046     case 36: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1047     case 37: arg7 = stack.pop() // 54 7
  1048     case 39: stack.push(arg1); // 27
  1049     case 40: stack.push(arg2); // 28
  1050     case 41: stack.push(arg5); // 21 5
  1051     case 43: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1052     case 44: stack.push(stack.pop() + stack.pop()); // 96
  1053     case 45: arg8 = stack.pop() // 54 8
  1054     case 47: stack.push(arg1); // 27
  1055     case 48: stack.push(arg6); // 21 6
  1056     case 50: stack.push(stack.pop() + stack.pop()); // 96
  1057     case 51: arg9 = stack.pop() // 54 9
  1058     case 53: stack.push(arg9); // 21 9
  1059     case 55: stack.push(arg8); // 21 8
  1060     case 57: if (stack.pop() < stack.pop()) { gt = 164; continue; } // 163 0 107
  1061     case 60: stack.push(arg0); // 42
  1062     case 61: stack.push(arg9); // 21 9
  1063     case 63: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1064     case 64: stack.push(arg7); // 21 7
  1065     case 66: if (stack.pop() == stack.pop()) { gt = 91; continue; } // 159 0 25
  1066     case 69: arg9++; // 132 9 1
  1067     case 72: stack.push(arg9); // 21 9
  1068     case 74: stack.push(arg8); // 21 8
  1069     case 76: if (stack.pop() < stack.pop()) { gt = 91; continue; } // 163 0 15
  1070     case 79: stack.push(arg0); // 42
  1071     case 80: stack.push(arg9); // 21 9
  1072     case 82: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1073     case 83: stack.push(arg7); // 21 7
  1074     case 85: if (stack.pop() == stack.pop()) { gt = 91; continue; } // 159 0 6
  1075     case 88: gt = 69; continue; // 167 255 237
  1076     case 91: stack.push(arg9); // 21 9
  1077     case 93: stack.push(arg8); // 21 8
  1078     case 95: if (stack.pop() < stack.pop()) { gt = 158; continue; } // 163 0 63
  1079     case 98: stack.push(arg9); // 21 9
  1080     case 100: stack.push(1); // 4
  1081     case 101: stack.push(stack.pop() + stack.pop()); // 96
  1082     case 102: arg10 = stack.pop() // 54 10
  1083     case 104: stack.push(arg10); // 21 10
  1084     case 106: stack.push(arg5); // 21 5
  1085     case 108: stack.push(stack.pop() + stack.pop()); // 96
  1086     case 109: stack.push(1); // 4
  1087     case 110: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1088     case 111: arg11 = stack.pop() // 54 11
  1089     case 113: stack.push(arg4); // 21 4
  1090     case 115: stack.push(1); // 4
  1091     case 116: stack.push(stack.pop() + stack.pop()); // 96
  1092     case 117: arg12 = stack.pop() // 54 12
  1093     case 119: stack.push(arg10); // 21 10
  1094     case 121: stack.push(arg11); // 21 11
  1095     case 123: if (stack.pop() <= stack.pop()) { gt = 146; continue; } // 162 0 23
  1096     case 126: stack.push(arg0); // 42
  1097     case 127: stack.push(arg10); // 21 10
  1098     case 129: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1099     case 130: stack.push(arg3); // 45
  1100     case 131: stack.push(arg12); // 21 12
  1101     case 133: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1102     case 134: if (stack.pop() != stack.pop()) { gt = 146; continue; } // 160 0 12
  1103     case 137: arg10++; // 132 10 1
  1104     case 140: arg12++; // 132 12 1
  1105     case 143: gt = 119; continue; // 167 255 232
  1106     case 146: stack.push(arg10); // 21 10
  1107     case 148: stack.push(arg11); // 21 11
  1108     case 150: if (stack.pop() != stack.pop()) { gt = 158; continue; } // 160 0 8
  1109     case 153: stack.push(arg9); // 21 9
  1110     case 155: stack.push(arg1); // 27
  1111     case 156: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1112     case 157: return stack.pop(); // 172
  1113     case 158: arg9++; // 132 9 1
  1114     case 161: gt = 53; continue; // 167 255 148
  1115     case 164:  // 2
  1116     case 165: return stack.pop(); // 172
  1117   }
  1118 }
  1119 function java_lang_String_lastIndexOfILjava_lang_String(arg0,arg1) {
  1120   var arg2;
  1121 ;
  1122   var stack = new Array(3);
  1123   var gt = 0;
  1124   for(;;) switch(gt) {
  1125     case 0: stack.push(arg0); // 42
  1126     case 1: stack.push(arg1); // 43
  1127     case 2: stack.push(arg0); // 42
  1128     case 3: stack.push(stack.pop().count); // 180 1 97
  1129     case 6: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.lastIndexOfILjava_lang_StringI(self, v0, v1)); } // 182 1 151
  1130     case 9: return stack.pop(); // 172
  1131   }
  1132 }
  1133 function java_lang_String_lastIndexOfILjava_lang_StringI(arg0,arg1,arg2) {
  1134   var arg3;
  1135 ;
  1136   var stack = new Array(7);
  1137   var gt = 0;
  1138   for(;;) switch(gt) {
  1139     case 0: stack.push(arg0); // 42
  1140     case 1: stack.push(stack.pop().value); // 180 1 100
  1141     case 4: stack.push(arg0); // 42
  1142     case 5: stack.push(stack.pop().offset); // 180 1 99
  1143     case 8: stack.push(arg0); // 42
  1144     case 9: stack.push(stack.pop().count); // 180 1 97
  1145     case 12: stack.push(arg1); // 43
  1146     case 13: stack.push(stack.pop().value); // 180 1 100
  1147     case 16: stack.push(arg1); // 43
  1148     case 17: stack.push(stack.pop().offset); // 180 1 99
  1149     case 20: stack.push(arg1); // 43
  1150     case 21: stack.push(stack.pop().count); // 180 1 97
  1151     case 24: stack.push(arg2); // 28
  1152     case 25: { var v6 = stack.pop(); var v5 = stack.pop(); var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_String_lastIndexOfAIACAIAIACAIAIAI(v0, v1, v2, v3, v4, v5, v6)); } // 184 1 145
  1153     case 28: return stack.pop(); // 172
  1154   }
  1155 }
  1156 function java_lang_String_lastIndexOfIACIIACIII(arg0,arg1,arg2,arg3,arg4,arg5,arg6) {
  1157   var arg7;
  1158   var arg8;
  1159   var arg9;
  1160   var arg10;
  1161   var arg11;
  1162   var arg12;
  1163   var arg13;
  1164   var arg14;
  1165   var stack = new Array();
  1166   var gt = 0;
  1167   for(;;) switch(gt) {
  1168     case 0: stack.push(arg2); // 28
  1169     case 1: stack.push(arg5); // 21 5
  1170     case 3: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1171     case 4: arg7 = stack.pop() // 54 7
  1172     case 6: stack.push(arg6); // 21 6
  1173     case 8: if (stack.pop() >= 0) { gt = 13; continue; } // 156 0 5
  1174     case 11:  // 2
  1175     case 12: return stack.pop(); // 172
  1176     case 13: stack.push(arg6); // 21 6
  1177     case 15: stack.push(arg7); // 21 7
  1178     case 17: if (stack.pop() >= stack.pop()) { gt = 24; continue; } // 164 0 7
  1179     case 20: stack.push(arg7); // 21 7
  1180     case 22: arg6 = stack.pop() // 54 6
  1181     case 24: stack.push(arg5); // 21 5
  1182     case 26: if (stack.pop() != 0) { gt = 32; continue; } // 154 0 6
  1183     case 29: stack.push(arg6); // 21 6
  1184     case 31: return stack.pop(); // 172
  1185     case 32: stack.push(arg4); // 21 4
  1186     case 34: stack.push(arg5); // 21 5
  1187     case 36: stack.push(stack.pop() + stack.pop()); // 96
  1188     case 37: stack.push(1); // 4
  1189     case 38: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1190     case 39: arg8 = stack.pop() // 54 8
  1191     case 41: stack.push(arg3); // 45
  1192     case 42: stack.push(arg8); // 21 8
  1193     case 44: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1194     case 45: arg9 = stack.pop() // 54 9
  1195     case 47: stack.push(arg1); // 27
  1196     case 48: stack.push(arg5); // 21 5
  1197     case 50: stack.push(stack.pop() + stack.pop()); // 96
  1198     case 51: stack.push(1); // 4
  1199     case 52: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1200     case 53: arg10 = stack.pop() // 54 10
  1201     case 55: stack.push(arg10); // 21 10
  1202     case 57: stack.push(arg6); // 21 6
  1203     case 59: stack.push(stack.pop() + stack.pop()); // 96
  1204     case 60: arg11 = stack.pop() // 54 11
  1205     case 62: stack.push(arg11); // 21 11
  1206     case 64: stack.push(arg10); // 21 10
  1207     case 66: if (stack.pop() > stack.pop()) { gt = 84; continue; } // 161 0 18
  1208     case 69: stack.push(arg0); // 42
  1209     case 70: stack.push(arg11); // 21 11
  1210     case 72: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1211     case 73: stack.push(arg9); // 21 9
  1212     case 75: if (stack.pop() == stack.pop()) { gt = 84; continue; } // 159 0 9
  1213     case 78: arg11 += 255; // 132 11 255
  1214     case 81: gt = 62; continue; // 167 255 237
  1215     case 84: stack.push(arg11); // 21 11
  1216     case 86: stack.push(arg10); // 21 10
  1217     case 88: if (stack.pop() <= stack.pop()) { gt = 93; continue; } // 162 0 5
  1218     case 91:  // 2
  1219     case 92: return stack.pop(); // 172
  1220     case 93: stack.push(arg11); // 21 11
  1221     case 95: stack.push(1); // 4
  1222     case 96: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1223     case 97: arg12 = stack.pop() // 54 12
  1224     case 99: stack.push(arg12); // 21 12
  1225     case 101: stack.push(arg5); // 21 5
  1226     case 103: stack.push(1); // 4
  1227     case 104: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1228     case 105: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1229     case 106: arg13 = stack.pop() // 54 13
  1230     case 108: stack.push(arg8); // 21 8
  1231     case 110: stack.push(1); // 4
  1232     case 111: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1233     case 112: arg14 = stack.pop() // 54 14
  1234     case 114: stack.push(arg12); // 21 12
  1235     case 116: stack.push(arg13); // 21 13
  1236     case 118: if (stack.pop() >= stack.pop()) { gt = 144; continue; } // 164 0 26
  1237     case 121: stack.push(arg0); // 42
  1238     case 122: stack.push(arg12); // 21 12
  1239     case 124: arg12 += 255; // 132 12 255
  1240     case 127: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1241     case 128: stack.push(arg3); // 45
  1242     case 129: stack.push(arg14); // 21 14
  1243     case 131: arg14 += 255; // 132 14 255
  1244     case 134: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1245     case 135: if (stack.pop() == stack.pop()) { gt = 114; continue; } // 159 255 235
  1246     case 138: arg11 += 255; // 132 11 255
  1247     case 141: gt = 62; continue; // 167 255 177
  1248     case 144: stack.push(arg13); // 21 13
  1249     case 146: stack.push(arg1); // 27
  1250     case 147: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1251     case 148: stack.push(1); // 4
  1252     case 149: stack.push(stack.pop() + stack.pop()); // 96
  1253     case 150: return stack.pop(); // 172
  1254   }
  1255 }
  1256 */
  1257 function java_lang_String_substringLjava_lang_StringI(arg0,arg1) {
  1258     return arg0.toString().substring(arg1);
  1259 }
  1260 function java_lang_String_substringLjava_lang_StringII(arg0,arg1,arg2) {
  1261     return arg0.toString().substring(arg1, arg2);
  1262 }
  1263 
  1264 function java_lang_String_replaceLjava_lang_StringCC(arg0,arg1,arg2) {
  1265     if (typeof arg1 === 'number') arg1 = String.fromCharCode(arg1);
  1266     if (typeof arg2 === 'number') arg2 = String.fromCharCode(arg2);
  1267     var s = arg0.toString();
  1268     for (;;) {
  1269         var ret = s.replace(arg1, arg2);
  1270         if (ret === s) {
  1271             return ret;
  1272         }
  1273         s = ret;
  1274     }
  1275 }
  1276 function java_lang_String_containsZLjava_lang_CharSequence(arg0,arg1) {
  1277     return arg0.toString().indexOf(arg1.toString()) >= 0;
  1278 }
  1279 
  1280 /*
  1281 function java_lang_String_subSequenceLjava_lang_CharSequenceII(arg0,arg1,arg2) {
  1282   var arg3;
  1283 ;
  1284   var stack = new Array(3);
  1285   var gt = 0;
  1286   for(;;) switch(gt) {
  1287     case 0: stack.push(arg0); // 42
  1288     case 1: stack.push(arg1); // 27
  1289     case 2: stack.push(arg2); // 28
  1290     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.substringLjava_lang_StringII(self, v0, v1)); } // 182 1 147
  1291     case 6: return stack.pop(); // 176
  1292   }
  1293 }
  1294 function java_lang_String_concatLjava_lang_StringLjava_lang_String(arg0,arg1) {
  1295   var arg2;
  1296   var arg3;
  1297   var arg4;
  1298 ;
  1299   var stack = new Array(5);
  1300   var gt = 0;
  1301   for(;;) switch(gt) {
  1302     case 0: stack.push(arg1); // 43
  1303     case 1: { var self = stack.pop(); stack.push(self.lengthI(self)); } // 182 1 133
  1304     case 4: arg2 = stack.pop(); // 61
  1305     case 5: stack.push(arg2); // 28
  1306     case 6: if (stack.pop() != 0) { gt = 11; continue; } // 154 0 5
  1307     case 9: stack.push(arg0); // 42
  1308     case 10: return stack.pop(); // 176
  1309     case 11: stack.push(arg0); // 42
  1310     case 12: stack.push(stack.pop().count); // 180 1 97
  1311     case 15: stack.push(arg2); // 28
  1312     case 16: stack.push(stack.pop() + stack.pop()); // 96
  1313     case 17: stack.push(new Array(stack.pop())); // 188 5
  1314     case 19: arg3 = stack.pop(); // 78
  1315     case 20: stack.push(arg0); // 42
  1316     case 21: stack.push(0); // 3
  1317     case 22: stack.push(arg0); // 42
  1318     case 23: stack.push(stack.pop().count); // 180 1 97
  1319     case 26: stack.push(arg3); // 45
  1320     case 27: stack.push(0); // 3
  1321     case 28: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); self.getCharsVIIACAI(self, v0, v1, v2, v3); } // 182 1 138
  1322     case 31: stack.push(arg1); // 43
  1323     case 32: stack.push(0); // 3
  1324     case 33: stack.push(arg2); // 28
  1325     case 34: stack.push(arg3); // 45
  1326     case 35: stack.push(arg0); // 42
  1327     case 36: stack.push(stack.pop().count); // 180 1 97
  1328     case 39: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); self.getCharsVIIACAI(self, v0, v1, v2, v3); } // 182 1 138
  1329     case 42: stack.push(new java_lang_String); // 187 0 200
  1330     case 45: stack.push(stack[stack.length - 1]); // 89
  1331     case 46: stack.push(0); // 3
  1332     case 47: stack.push(arg0); // 42
  1333     case 48: stack.push(stack.pop().count); // 180 1 97
  1334     case 51: stack.push(arg2); // 28
  1335     case 52: stack.push(stack.pop() + stack.pop()); // 96
  1336     case 53: stack.push(arg3); // 45
  1337     case 54: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137
  1338     case 57: return stack.pop(); // 176
  1339   }
  1340 }
  1341 function java_lang_String_matchesZLjava_lang_String(arg0,arg1) {
  1342   var arg2;
  1343 ;
  1344   var stack = new Array(2);
  1345   var gt = 0;
  1346   for(;;) switch(gt) {
  1347     case 0: stack.push(arg1); // 43
  1348     case 1: stack.push(arg0); // 42
  1349     case 2: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_util_regex_Pattern_matchesZLjava_lang_StringLjava_lang_CharSequence(v0, v1)); } // 184 1 183
  1350     case 5: return stack.pop(); // 172
  1351   }
  1352 }
  1353 function java_lang_String_replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String(arg0,arg1,arg2) {
  1354   var arg3;
  1355 ;
  1356   var stack = new Array(2);
  1357   var gt = 0;
  1358   for(;;) switch(gt) {
  1359     case 0: stack.push(arg1); // 43
  1360     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186
  1361     case 4: stack.push(arg0); // 42
  1362     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185
  1363     case 8: stack.push(arg2); // 44
  1364     case 9: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceFirstLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 182
  1365     case 12: return stack.pop(); // 176
  1366   }
  1367 }
  1368 function java_lang_String_replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String(arg0,arg1,arg2) {
  1369   var arg3;
  1370 ;
  1371   var stack = new Array(2);
  1372   var gt = 0;
  1373   for(;;) switch(gt) {
  1374     case 0: stack.push(arg1); // 43
  1375     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186
  1376     case 4: stack.push(arg0); // 42
  1377     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185
  1378     case 8: stack.push(arg2); // 44
  1379     case 9: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceAllLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 181
  1380     case 12: return stack.pop(); // 176
  1381   }
  1382 }
  1383 function java_lang_String_replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence(arg0,arg1,arg2) {
  1384   var arg3;
  1385 ;
  1386   var stack = new Array(2);
  1387   var gt = 0;
  1388   for(;;) switch(gt) {
  1389     case 0: stack.push(arg1); // 43
  1390     case 1: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132
  1391     case 4: stack.push(16); // 16 16
  1392     case 6: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_StringI(v0, v1)); } // 184 1 187
  1393     case 9: stack.push(arg0); // 42
  1394     case 10: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185
  1395     case 13: stack.push(arg2); // 44
  1396     case 14: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132
  1397     case 17: { var v0 = stack.pop(); stack.push(java_util_regex_Matcher_quoteReplacementLjava_lang_StringLjava_lang_String(v0)); } // 184 1 180
  1398     case 20: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceAllLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 181
  1399     case 23: return stack.pop(); // 176
  1400   }
  1401 }
  1402 function java_lang_String_splitALjava_lang_StringLjava_lang_StringI(arg0,arg1,arg2) {
  1403   var arg3;
  1404 ;
  1405   var stack = new Array(3);
  1406   var gt = 0;
  1407   for(;;) switch(gt) {
  1408     case 0: stack.push(arg1); // 43
  1409     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186
  1410     case 4: stack.push(arg0); // 42
  1411     case 5: stack.push(arg2); // 28
  1412     case 6: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.splitALjava_lang_StringLjava_lang_CharSequenceI(self, v0, v1)); } // 182 1 184
  1413     case 9: return stack.pop(); // 176
  1414   }
  1415 }
  1416 function java_lang_String_splitALjava_lang_StringLjava_lang_String(arg0,arg1) {
  1417   var arg2;
  1418 ;
  1419   var stack = new Array(3);
  1420   var gt = 0;
  1421   for(;;) switch(gt) {
  1422     case 0: stack.push(arg0); // 42
  1423     case 1: stack.push(arg1); // 43
  1424     case 2: stack.push(0); // 3
  1425     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.splitALjava_lang_StringLjava_lang_StringI(self, v0, v1)); } // 182 1 157
  1426     case 6: return stack.pop(); // 176
  1427   }
  1428 }
  1429 function java_lang_String_toLowerCaseLjava_lang_StringLjava_util_Locale(arg0,arg1) {
  1430   var arg2;
  1431   var arg3;
  1432   var arg4;
  1433   var arg5;
  1434   var arg6;
  1435   var arg7;
  1436   var arg8;
  1437   var arg9;
  1438   var arg10;
  1439   var arg11;
  1440   var arg12;
  1441   var arg13;
  1442   var arg14;
  1443 ;
  1444   var stack = new Array(6);
  1445   var gt = 0;
  1446   for(;;) switch(gt) {
  1447     case 0: stack.push(arg1); // 43
  1448     case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11
  1449     case 4: stack.push(new java_lang_NullPointerException); // 187 0 198
  1450     case 7: stack.push(stack[stack.length - 1]); // 89
  1451     case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128
  1452     case 11:  // 191
  1453     case 12: stack.push(0); // 3
  1454     case 13: arg2 = stack.pop(); // 61
  1455     case 14: stack.push(arg2); // 28
  1456     case 15: stack.push(arg0); // 42
  1457     case 16: stack.push(stack.pop().count); // 180 1 97
  1458     case 19: if (stack.pop() <= stack.pop()) { gt = 94; continue; } // 162 0 75
  1459     case 22: stack.push(arg0); // 42
  1460     case 23: stack.push(stack.pop().value); // 180 1 100
  1461     case 26: stack.push(arg0); // 42
  1462     case 27: stack.push(stack.pop().offset); // 180 1 99
  1463     case 30: stack.push(arg2); // 28
  1464     case 31: stack.push(stack.pop() + stack.pop()); // 96
  1465     case 32: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1466     case 33: arg3 = stack.pop(); // 62
  1467     case 34: stack.push(arg3); // 29
  1468     case 35: stack.push(55296); // 18 1
  1469     case 37: if (stack.pop() > stack.pop()) { gt = 77; continue; } // 161 0 40
  1470     case 40: stack.push(arg3); // 29
  1471     case 41: stack.push(56319); // 18 2
  1472     case 43: if (stack.pop() < stack.pop()) { gt = 77; continue; } // 163 0 34
  1473     case 46: stack.push(arg0); // 42
  1474     case 47: stack.push(arg2); // 28
  1475     case 48: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134
  1476     case 51: arg4 = stack.pop() // 54 4
  1477     case 53: stack.push(arg4); // 21 4
  1478     case 55: stack.push(arg4); // 21 4
  1479     case 57: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseII(v0)); } // 184 1 107
  1480     case 60: if (stack.pop() == stack.pop()) { gt = 66; continue; } // 159 0 6
  1481     case 63: gt = 96; continue; // 167 0 33
  1482     case 66: stack.push(arg2); // 28
  1483     case 67: stack.push(arg4); // 21 4
  1484     case 69: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106
  1485     case 72: stack.push(stack.pop() + stack.pop()); // 96
  1486     case 73: arg2 = stack.pop(); // 61
  1487     case 74: gt = 91; continue; // 167 0 17
  1488     case 77: stack.push(arg3); // 29
  1489     case 78: stack.push(arg3); // 29
  1490     case 79: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseCC(v0)); } // 184 1 104
  1491     case 82: if (stack.pop() == stack.pop()) { gt = 88; continue; } // 159 0 6
  1492     case 85: gt = 96; continue; // 167 0 11
  1493     case 88: arg2++; // 132 2 1
  1494     case 91: gt = 14; continue; // 167 255 179
  1495     case 94: stack.push(arg0); // 42
  1496     case 95: return stack.pop(); // 176
  1497     case 96: stack.push(arg0); // 42
  1498     case 97: stack.push(stack.pop().count); // 180 1 97
  1499     case 100: stack.push(new Array(stack.pop())); // 188 5
  1500     case 102: arg3 = stack.pop(); // 78
  1501     case 103: stack.push(0); // 3
  1502     case 104: arg4 = stack.pop() // 54 4
  1503     case 106: stack.push(arg0); // 42
  1504     case 107: stack.push(stack.pop().value); // 180 1 100
  1505     case 110: stack.push(arg0); // 42
  1506     case 111: stack.push(stack.pop().offset); // 180 1 99
  1507     case 114: stack.push(arg3); // 45
  1508     case 115: stack.push(0); // 3
  1509     case 116: stack.push(arg2); // 28
  1510     case 117: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171
  1511     case 120: stack.push(arg1); // 43
  1512     case 121: { var self = stack.pop(); stack.push(self.getLanguageLjava_lang_String(self)); } // 182 1 178
  1513     case 124: arg5 = stack.pop() // 58 5
  1514     case 126: stack.push(arg5); // 25 5
  1515     case 128: stack.push("tr"); // 18 11
  1516     case 130:  // 165
  1517     case 131:  // 0
  1518     case 132: stack.push(6405); // 17 25 5
  1519     case 135: stack.push("az"); // 18 5
  1520     case 137:  // 165
  1521     case 138:  // 0
  1522     case 139: stack.push(1); // 10
  1523     case 140: stack.push(arg5); // 25 5
  1524     case 142: stack.push("lt"); // 18 9
  1525     case 144:  // 166
  1526     case 145:  // 0
  1527     case 146: stack.push(4); // 7
  1528     case 147: stack.push(1); // 4
  1529     case 148: gt = 152; continue; // 167 0 4
  1530     case 151: stack.push(0); // 3
  1531     case 152: arg6 = stack.pop() // 54 6
  1532     case 154: stack.push(arg2); // 28
  1533     case 155: arg11 = stack.pop() // 54 11
  1534     case 157: stack.push(arg11); // 21 11
  1535     case 159: stack.push(arg0); // 42
  1536     case 160: stack.push(stack.pop().count); // 180 1 97
  1537     case 163: if (stack.pop() <= stack.pop()) { gt = 419; continue; } // 162 1 0
  1538     case 166: stack.push(arg0); // 42
  1539     case 167: stack.push(stack.pop().value); // 180 1 100
  1540     case 170: stack.push(arg0); // 42
  1541     case 171: stack.push(stack.pop().offset); // 180 1 99
  1542     case 174: stack.push(arg11); // 21 11
  1543     case 176: stack.push(stack.pop() + stack.pop()); // 96
  1544     case 177: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1545     case 178: arg9 = stack.pop() // 54 9
  1546     case 180: stack.push(arg9); // 21 9
  1547     case 182: // number conversion  // 146
  1548     case 183: stack.push(55296); // 18 1
  1549     case 185: if (stack.pop() > stack.pop()) { gt = 214; continue; } // 161 0 29
  1550     case 188: stack.push(arg9); // 21 9
  1551     case 190: // number conversion  // 146
  1552     case 191: stack.push(56319); // 18 2
  1553     case 193: if (stack.pop() < stack.pop()) { gt = 214; continue; } // 163 0 21
  1554     case 196: stack.push(arg0); // 42
  1555     case 197: stack.push(arg11); // 21 11
  1556     case 199: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134
  1557     case 202: arg9 = stack.pop() // 54 9
  1558     case 204: stack.push(arg9); // 21 9
  1559     case 206: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106
  1560     case 209: arg10 = stack.pop() // 54 10
  1561     case 211: gt = 217; continue; // 167 0 6
  1562     case 214: stack.push(1); // 4
  1563     case 215: arg10 = stack.pop() // 54 10
  1564     case 217: stack.push(arg6); // 21 6
  1565     case 219: if (stack.pop() != 0) { gt = 230; continue; } // 154 0 11
  1566     case 222: stack.push(arg9); // 21 9
  1567     case 224: stack.push(931); // 17 3 163
  1568     case 227: if (stack.pop() != stack.pop()) { gt = 242; continue; } // 160 0 15
  1569     case 230: stack.push(arg0); // 42
  1570     case 231: stack.push(arg11); // 21 11
  1571     case 233: stack.push(arg1); // 43
  1572     case 234: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toLowerCaseExILjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 117
  1573     case 237: arg8 = stack.pop() // 54 8
  1574     case 239: gt = 249; continue; // 167 0 10
  1575     case 242: stack.push(arg9); // 21 9
  1576     case 244: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseII(v0)); } // 184 1 107
  1577     case 247: arg8 = stack.pop() // 54 8
  1578     case 249: stack.push(arg8); // 21 8
  1579     case 251:  // 2
  1580     case 252: if (stack.pop() == stack.pop()) { gt = 262; continue; } // 159 0 10
  1581     case 255: stack.push(arg8); // 21 8
  1582     case 257: stack.push(65536); // 18 3
  1583     case 259: if (stack.pop() > stack.pop()) { gt = 399; continue; } // 161 0 140
  1584     case 262: stack.push(arg8); // 21 8
  1585     case 264:  // 2
  1586     case 265: if (stack.pop() != stack.pop()) { gt = 280; continue; } // 160 0 15
  1587     case 268: stack.push(arg0); // 42
  1588     case 269: stack.push(arg11); // 21 11
  1589     case 271: stack.push(arg1); // 43
  1590     case 272: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toLowerCaseCharArrayACLjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 119
  1591     case 275: arg7 = stack.pop() // 58 7
  1592     case 277: gt = 315; continue; // 167 0 38
  1593     case 280: stack.push(arg10); // 21 10
  1594     case 282: stack.push(2); // 5
  1595     case 283: if (stack.pop() != stack.pop()) { gt = 308; continue; } // 160 0 25
  1596     case 286: stack.push(arg4); // 21 4
  1597     case 288: stack.push(arg8); // 21 8
  1598     case 290: stack.push(arg3); // 45
  1599     case 291: stack.push(arg11); // 21 11
  1600     case 293: stack.push(arg4); // 21 4
  1601     case 295: stack.push(stack.pop() + stack.pop()); // 96
  1602     case 296: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_toCharsAIIACAI(v0, v1, v2)); } // 184 1 111
  1603     case 299: stack.push(arg10); // 21 10
  1604     case 301: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1605     case 302: stack.push(stack.pop() + stack.pop()); // 96
  1606     case 303: arg4 = stack.pop() // 54 4
  1607     case 305: gt = 409; continue; // 167 0 104
  1608     case 308: stack.push(arg8); // 21 8
  1609     case 310: { var v0 = stack.pop(); stack.push(java_lang_Character_toCharsACI(v0)); } // 184 1 109
  1610     case 313: arg7 = stack.pop() // 58 7
  1611     case 315: stack.push(arg7); // 25 7
  1612     case 317: stack.push(stack.pop().length); // 190
  1613     case 318: arg12 = stack.pop() // 54 12
  1614     case 320: stack.push(arg12); // 21 12
  1615     case 322: stack.push(arg10); // 21 10
  1616     case 324: if (stack.pop() >= stack.pop()) { gt = 355; continue; } // 164 0 31
  1617     case 327: stack.push(arg3); // 45
  1618     case 328: stack.push(stack.pop().length); // 190
  1619     case 329: stack.push(arg12); // 21 12
  1620     case 331: stack.push(stack.pop() + stack.pop()); // 96
  1621     case 332: stack.push(arg10); // 21 10
  1622     case 334: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1623     case 335: stack.push(new Array(stack.pop())); // 188 5
  1624     case 337: arg13 = stack.pop() // 58 13
  1625     case 339: stack.push(arg3); // 45
  1626     case 340: stack.push(0); // 3
  1627     case 341: stack.push(arg13); // 25 13
  1628     case 343: stack.push(0); // 3
  1629     case 344: stack.push(arg11); // 21 11
  1630     case 346: stack.push(arg4); // 21 4
  1631     case 348: stack.push(stack.pop() + stack.pop()); // 96
  1632     case 349: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171
  1633     case 352: stack.push(arg13); // 25 13
  1634     case 354: arg3 = stack.pop(); // 78
  1635     case 355: stack.push(0); // 3
  1636     case 356: arg13 = stack.pop() // 54 13
  1637     case 358: stack.push(arg13); // 21 13
  1638     case 360: stack.push(arg12); // 21 12
  1639     case 362: if (stack.pop() <= stack.pop()) { gt = 386; continue; } // 162 0 24
  1640     case 365: stack.push(arg3); // 45
  1641     case 366: stack.push(arg11); // 21 11
  1642     case 368: stack.push(arg4); // 21 4
  1643     case 370: stack.push(stack.pop() + stack.pop()); // 96
  1644     case 371: stack.push(arg13); // 21 13
  1645     case 373: stack.push(stack.pop() + stack.pop()); // 96
  1646     case 374: stack.push(arg7); // 25 7
  1647     case 376: stack.push(arg13); // 21 13
  1648     case 378: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1649     case 379: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85
  1650     case 380: arg13++; // 132 13 1
  1651     case 383: gt = 358; continue; // 167 255 231
  1652     case 386: stack.push(arg4); // 21 4
  1653     case 388: stack.push(arg12); // 21 12
  1654     case 390: stack.push(arg10); // 21 10
  1655     case 392: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1656     case 393: stack.push(stack.pop() + stack.pop()); // 96
  1657     case 394: arg4 = stack.pop() // 54 4
  1658     case 396: gt = 409; continue; // 167 0 13
  1659     case 399: stack.push(arg3); // 45
  1660     case 400: stack.push(arg11); // 21 11
  1661     case 402: stack.push(arg4); // 21 4
  1662     case 404: stack.push(stack.pop() + stack.pop()); // 96
  1663     case 405: stack.push(arg8); // 21 8
  1664     case 407: // number conversion  // 146
  1665     case 408: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85
  1666     case 409: stack.push(arg11); // 21 11
  1667     case 411: stack.push(arg10); // 21 10
  1668     case 413: stack.push(stack.pop() + stack.pop()); // 96
  1669     case 414: arg11 = stack.pop() // 54 11
  1670     case 416: gt = 157; continue; // 167 254 253
  1671     case 419: stack.push(new java_lang_String); // 187 0 200
  1672     case 422: stack.push(stack[stack.length - 1]); // 89
  1673     case 423: stack.push(0); // 3
  1674     case 424: stack.push(arg0); // 42
  1675     case 425: stack.push(stack.pop().count); // 180 1 97
  1676     case 428: stack.push(arg4); // 21 4
  1677     case 430: stack.push(stack.pop() + stack.pop()); // 96
  1678     case 431: stack.push(arg3); // 45
  1679     case 432: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137
  1680     case 435: return stack.pop(); // 176
  1681   }
  1682 }
  1683 function java_lang_String_toLowerCaseLjava_lang_String(arg0) {
  1684   var arg1;
  1685 ;
  1686   var stack = new Array(2);
  1687   var gt = 0;
  1688   for(;;) switch(gt) {
  1689     case 0: stack.push(arg0); // 42
  1690     case 1: { stack.push(java_util_Locale_getDefaultLjava_util_Locale()); } // 184 1 179
  1691     case 4: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.toLowerCaseLjava_lang_StringLjava_util_Locale(self, v0)); } // 182 1 158
  1692     case 7: return stack.pop(); // 176
  1693   }
  1694 }
  1695 function java_lang_String_toUpperCaseLjava_lang_StringLjava_util_Locale(arg0,arg1) {
  1696   var arg2;
  1697   var arg3;
  1698   var arg4;
  1699   var arg5;
  1700   var arg6;
  1701   var arg7;
  1702   var arg8;
  1703   var arg9;
  1704   var arg10;
  1705   var arg11;
  1706   var arg12;
  1707   var arg13;
  1708   var arg14;
  1709 ;
  1710   var stack = new Array(6);
  1711   var gt = 0;
  1712   for(;;) switch(gt) {
  1713     case 0: stack.push(arg1); // 43
  1714     case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11
  1715     case 4: stack.push(new java_lang_NullPointerException); // 187 0 198
  1716     case 7: stack.push(stack[stack.length - 1]); // 89
  1717     case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128
  1718     case 11:  // 191
  1719     case 12: stack.push(0); // 3
  1720     case 13: arg2 = stack.pop(); // 61
  1721     case 14: stack.push(arg2); // 28
  1722     case 15: stack.push(arg0); // 42
  1723     case 16: stack.push(stack.pop().count); // 180 1 97
  1724     case 19: if (stack.pop() <= stack.pop()) { gt = 93; continue; } // 162 0 74
  1725     case 22: stack.push(arg0); // 42
  1726     case 23: stack.push(stack.pop().value); // 180 1 100
  1727     case 26: stack.push(arg0); // 42
  1728     case 27: stack.push(stack.pop().offset); // 180 1 99
  1729     case 30: stack.push(arg2); // 28
  1730     case 31: stack.push(stack.pop() + stack.pop()); // 96
  1731     case 32: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1732     case 33: arg3 = stack.pop(); // 62
  1733     case 34: stack.push(arg3); // 29
  1734     case 35: stack.push(55296); // 18 1
  1735     case 37: if (stack.pop() > stack.pop()) { gt = 61; continue; } // 161 0 24
  1736     case 40: stack.push(arg3); // 29
  1737     case 41: stack.push(56319); // 18 2
  1738     case 43: if (stack.pop() < stack.pop()) { gt = 61; continue; } // 163 0 18
  1739     case 46: stack.push(arg0); // 42
  1740     case 47: stack.push(arg2); // 28
  1741     case 48: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134
  1742     case 51: arg3 = stack.pop(); // 62
  1743     case 52: stack.push(arg3); // 29
  1744     case 53: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106
  1745     case 56: arg4 = stack.pop() // 54 4
  1746     case 58: gt = 64; continue; // 167 0 6
  1747     case 61: stack.push(1); // 4
  1748     case 62: arg4 = stack.pop() // 54 4
  1749     case 64: stack.push(arg3); // 29
  1750     case 65: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseExII(v0)); } // 184 1 108
  1751     case 68: arg5 = stack.pop() // 54 5
  1752     case 70: stack.push(arg5); // 21 5
  1753     case 72:  // 2
  1754     case 73: if (stack.pop() == stack.pop()) { gt = 95; continue; } // 159 0 22
  1755     case 76: stack.push(arg3); // 29
  1756     case 77: stack.push(arg5); // 21 5
  1757     case 79: if (stack.pop() == stack.pop()) { gt = 85; continue; } // 159 0 6
  1758     case 82: gt = 95; continue; // 167 0 13
  1759     case 85: stack.push(arg2); // 28
  1760     case 86: stack.push(arg4); // 21 4
  1761     case 88: stack.push(stack.pop() + stack.pop()); // 96
  1762     case 89: arg2 = stack.pop(); // 61
  1763     case 90: gt = 14; continue; // 167 255 180
  1764     case 93: stack.push(arg0); // 42
  1765     case 94: return stack.pop(); // 176
  1766     case 95: stack.push(arg0); // 42
  1767     case 96: stack.push(stack.pop().count); // 180 1 97
  1768     case 99: stack.push(new Array(stack.pop())); // 188 5
  1769     case 101: arg3 = stack.pop(); // 78
  1770     case 102: stack.push(0); // 3
  1771     case 103: arg4 = stack.pop() // 54 4
  1772     case 105: stack.push(arg0); // 42
  1773     case 106: stack.push(stack.pop().value); // 180 1 100
  1774     case 109: stack.push(arg0); // 42
  1775     case 110: stack.push(stack.pop().offset); // 180 1 99
  1776     case 113: stack.push(arg3); // 45
  1777     case 114: stack.push(0); // 3
  1778     case 115: stack.push(arg2); // 28
  1779     case 116: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171
  1780     case 119: stack.push(arg1); // 43
  1781     case 120: { var self = stack.pop(); stack.push(self.getLanguageLjava_lang_String(self)); } // 182 1 178
  1782     case 123: arg5 = stack.pop() // 58 5
  1783     case 125: stack.push(arg5); // 25 5
  1784     case 127: stack.push("tr"); // 18 11
  1785     case 129:  // 165
  1786     case 130:  // 0
  1787     case 131: stack.push(6405); // 17 25 5
  1788     case 134: stack.push("az"); // 18 5
  1789     case 136:  // 165
  1790     case 137:  // 0
  1791     case 138: stack.push(1); // 10
  1792     case 139: stack.push(arg5); // 25 5
  1793     case 141: stack.push("lt"); // 18 9
  1794     case 143:  // 166
  1795     case 144:  // 0
  1796     case 145: stack.push(4); // 7
  1797     case 146: stack.push(1); // 4
  1798     case 147: gt = 151; continue; // 167 0 4
  1799     case 150: stack.push(0); // 3
  1800     case 151: arg6 = stack.pop() // 54 6
  1801     case 153: stack.push(arg2); // 28
  1802     case 154: arg11 = stack.pop() // 54 11
  1803     case 156: stack.push(arg11); // 21 11
  1804     case 158: stack.push(arg0); // 42
  1805     case 159: stack.push(stack.pop().count); // 180 1 97
  1806     case 162: if (stack.pop() <= stack.pop()) { gt = 425; continue; } // 162 1 7
  1807     case 165: stack.push(arg0); // 42
  1808     case 166: stack.push(stack.pop().value); // 180 1 100
  1809     case 169: stack.push(arg0); // 42
  1810     case 170: stack.push(stack.pop().offset); // 180 1 99
  1811     case 173: stack.push(arg11); // 21 11
  1812     case 175: stack.push(stack.pop() + stack.pop()); // 96
  1813     case 176: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1814     case 177: arg9 = stack.pop() // 54 9
  1815     case 179: stack.push(arg9); // 21 9
  1816     case 181: // number conversion  // 146
  1817     case 182: stack.push(55296); // 18 1
  1818     case 184: if (stack.pop() > stack.pop()) { gt = 213; continue; } // 161 0 29
  1819     case 187: stack.push(arg9); // 21 9
  1820     case 189: // number conversion  // 146
  1821     case 190: stack.push(56319); // 18 2
  1822     case 192: if (stack.pop() < stack.pop()) { gt = 213; continue; } // 163 0 21
  1823     case 195: stack.push(arg0); // 42
  1824     case 196: stack.push(arg11); // 21 11
  1825     case 198: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134
  1826     case 201: arg9 = stack.pop() // 54 9
  1827     case 203: stack.push(arg9); // 21 9
  1828     case 205: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106
  1829     case 208: arg10 = stack.pop() // 54 10
  1830     case 210: gt = 216; continue; // 167 0 6
  1831     case 213: stack.push(1); // 4
  1832     case 214: arg10 = stack.pop() // 54 10
  1833     case 216: stack.push(arg6); // 21 6
  1834     case 218: if (stack.pop() == 0) { gt = 233; continue; } // 153 0 15
  1835     case 221: stack.push(arg0); // 42
  1836     case 222: stack.push(arg11); // 21 11
  1837     case 224: stack.push(arg1); // 43
  1838     case 225: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toUpperCaseExILjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 118
  1839     case 228: arg8 = stack.pop() // 54 8
  1840     case 230: gt = 240; continue; // 167 0 10
  1841     case 233: stack.push(arg9); // 21 9
  1842     case 235: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseExII(v0)); } // 184 1 108
  1843     case 238: arg8 = stack.pop() // 54 8
  1844     case 240: stack.push(arg8); // 21 8
  1845     case 242:  // 2
  1846     case 243: if (stack.pop() == stack.pop()) { gt = 253; continue; } // 159 0 10
  1847     case 246: stack.push(arg8); // 21 8
  1848     case 248: stack.push(65536); // 18 3
  1849     case 250: if (stack.pop() > stack.pop()) { gt = 405; continue; } // 161 0 155
  1850     case 253: stack.push(arg8); // 21 8
  1851     case 255:  // 2
  1852     case 256: if (stack.pop() != stack.pop()) { gt = 286; continue; } // 160 0 30
  1853     case 259: stack.push(arg6); // 21 6
  1854     case 261: if (stack.pop() == 0) { gt = 276; continue; } // 153 0 15
  1855     case 264: stack.push(arg0); // 42
  1856     case 265: stack.push(arg11); // 21 11
  1857     case 267: stack.push(arg1); // 43
  1858     case 268: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toUpperCaseCharArrayACLjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 120
  1859     case 271: arg7 = stack.pop() // 58 7
  1860     case 273: gt = 321; continue; // 167 0 48
  1861     case 276: stack.push(arg9); // 21 9
  1862     case 278: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseCharArrayACI(v0)); } // 184 1 110
  1863     case 281: arg7 = stack.pop() // 58 7
  1864     case 283: gt = 321; continue; // 167 0 38
  1865     case 286: stack.push(arg10); // 21 10
  1866     case 288: stack.push(2); // 5
  1867     case 289: if (stack.pop() != stack.pop()) { gt = 314; continue; } // 160 0 25
  1868     case 292: stack.push(arg4); // 21 4
  1869     case 294: stack.push(arg8); // 21 8
  1870     case 296: stack.push(arg3); // 45
  1871     case 297: stack.push(arg11); // 21 11
  1872     case 299: stack.push(arg4); // 21 4
  1873     case 301: stack.push(stack.pop() + stack.pop()); // 96
  1874     case 302: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_toCharsAIIACAI(v0, v1, v2)); } // 184 1 111
  1875     case 305: stack.push(arg10); // 21 10
  1876     case 307: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1877     case 308: stack.push(stack.pop() + stack.pop()); // 96
  1878     case 309: arg4 = stack.pop() // 54 4
  1879     case 311: gt = 415; continue; // 167 0 104
  1880     case 314: stack.push(arg8); // 21 8
  1881     case 316: { var v0 = stack.pop(); stack.push(java_lang_Character_toCharsACI(v0)); } // 184 1 109
  1882     case 319: arg7 = stack.pop() // 58 7
  1883     case 321: stack.push(arg7); // 25 7
  1884     case 323: stack.push(stack.pop().length); // 190
  1885     case 324: arg12 = stack.pop() // 54 12
  1886     case 326: stack.push(arg12); // 21 12
  1887     case 328: stack.push(arg10); // 21 10
  1888     case 330: if (stack.pop() >= stack.pop()) { gt = 361; continue; } // 164 0 31
  1889     case 333: stack.push(arg3); // 45
  1890     case 334: stack.push(stack.pop().length); // 190
  1891     case 335: stack.push(arg12); // 21 12
  1892     case 337: stack.push(stack.pop() + stack.pop()); // 96
  1893     case 338: stack.push(arg10); // 21 10
  1894     case 340: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1895     case 341: stack.push(new Array(stack.pop())); // 188 5
  1896     case 343: arg13 = stack.pop() // 58 13
  1897     case 345: stack.push(arg3); // 45
  1898     case 346: stack.push(0); // 3
  1899     case 347: stack.push(arg13); // 25 13
  1900     case 349: stack.push(0); // 3
  1901     case 350: stack.push(arg11); // 21 11
  1902     case 352: stack.push(arg4); // 21 4
  1903     case 354: stack.push(stack.pop() + stack.pop()); // 96
  1904     case 355: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171
  1905     case 358: stack.push(arg13); // 25 13
  1906     case 360: arg3 = stack.pop(); // 78
  1907     case 361: stack.push(0); // 3
  1908     case 362: arg13 = stack.pop() // 54 13
  1909     case 364: stack.push(arg13); // 21 13
  1910     case 366: stack.push(arg12); // 21 12
  1911     case 368: if (stack.pop() <= stack.pop()) { gt = 392; continue; } // 162 0 24
  1912     case 371: stack.push(arg3); // 45
  1913     case 372: stack.push(arg11); // 21 11
  1914     case 374: stack.push(arg4); // 21 4
  1915     case 376: stack.push(stack.pop() + stack.pop()); // 96
  1916     case 377: stack.push(arg13); // 21 13
  1917     case 379: stack.push(stack.pop() + stack.pop()); // 96
  1918     case 380: stack.push(arg7); // 25 7
  1919     case 382: stack.push(arg13); // 21 13
  1920     case 384: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1921     case 385: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85
  1922     case 386: arg13++; // 132 13 1
  1923     case 389: gt = 364; continue; // 167 255 231
  1924     case 392: stack.push(arg4); // 21 4
  1925     case 394: stack.push(arg12); // 21 12
  1926     case 396: stack.push(arg10); // 21 10
  1927     case 398: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  1928     case 399: stack.push(stack.pop() + stack.pop()); // 96
  1929     case 400: arg4 = stack.pop() // 54 4
  1930     case 402: gt = 415; continue; // 167 0 13
  1931     case 405: stack.push(arg3); // 45
  1932     case 406: stack.push(arg11); // 21 11
  1933     case 408: stack.push(arg4); // 21 4
  1934     case 410: stack.push(stack.pop() + stack.pop()); // 96
  1935     case 411: stack.push(arg8); // 21 8
  1936     case 413: // number conversion  // 146
  1937     case 414: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85
  1938     case 415: stack.push(arg11); // 21 11
  1939     case 417: stack.push(arg10); // 21 10
  1940     case 419: stack.push(stack.pop() + stack.pop()); // 96
  1941     case 420: arg11 = stack.pop() // 54 11
  1942     case 422: gt = 156; continue; // 167 254 246
  1943     case 425: stack.push(new java_lang_String); // 187 0 200
  1944     case 428: stack.push(stack[stack.length - 1]); // 89
  1945     case 429: stack.push(0); // 3
  1946     case 430: stack.push(arg0); // 42
  1947     case 431: stack.push(stack.pop().count); // 180 1 97
  1948     case 434: stack.push(arg4); // 21 4
  1949     case 436: stack.push(stack.pop() + stack.pop()); // 96
  1950     case 437: stack.push(arg3); // 45
  1951     case 438: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137
  1952     case 441: return stack.pop(); // 176
  1953   }
  1954 }
  1955 function java_lang_String_toUpperCaseLjava_lang_String(arg0) {
  1956   var arg1;
  1957 ;
  1958   var stack = new Array(2);
  1959   var gt = 0;
  1960   for(;;) switch(gt) {
  1961     case 0: stack.push(arg0); // 42
  1962     case 1: { stack.push(java_util_Locale_getDefaultLjava_util_Locale()); } // 184 1 179
  1963     case 4: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.toUpperCaseLjava_lang_StringLjava_util_Locale(self, v0)); } // 182 1 159
  1964     case 7: return stack.pop(); // 176
  1965   }
  1966 }
  1967 function java_lang_String_trimLjava_lang_String(arg0) {
  1968   var arg1;
  1969   var arg2;
  1970   var arg3;
  1971   var arg4;
  1972   var arg5;
  1973 ;
  1974   var stack = new Array(3);
  1975   var gt = 0;
  1976   for(;;) switch(gt) {
  1977     case 0: stack.push(arg0); // 42
  1978     case 1: stack.push(stack.pop().count); // 180 1 97
  1979     case 4: arg1 = stack.pop(); // 60
  1980     case 5: stack.push(0); // 3
  1981     case 6: arg2 = stack.pop(); // 61
  1982     case 7: stack.push(arg0); // 42
  1983     case 8: stack.push(stack.pop().offset); // 180 1 99
  1984     case 11: arg3 = stack.pop(); // 62
  1985     case 12: stack.push(arg0); // 42
  1986     case 13: stack.push(stack.pop().value); // 180 1 100
  1987     case 16: arg4 = stack.pop() // 58 4
  1988     case 18: stack.push(arg2); // 28
  1989     case 19: stack.push(arg1); // 27
  1990     case 20: if (stack.pop() <= stack.pop()) { gt = 40; continue; } // 162 0 20
  1991     case 23: stack.push(arg4); // 25 4
  1992     case 25: stack.push(arg3); // 29
  1993     case 26: stack.push(arg2); // 28
  1994     case 27: stack.push(stack.pop() + stack.pop()); // 96
  1995     case 28: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  1996     case 29: stack.push(32); // 16 32
  1997     case 31: if (stack.pop() < stack.pop()) { gt = 40; continue; } // 163 0 9
  1998     case 34: arg2++; // 132 2 1
  1999     case 37: gt = 18; continue; // 167 255 237
  2000     case 40: stack.push(arg2); // 28
  2001     case 41: stack.push(arg1); // 27
  2002     case 42: if (stack.pop() <= stack.pop()) { gt = 64; continue; } // 162 0 22
  2003     case 45: stack.push(arg4); // 25 4
  2004     case 47: stack.push(arg3); // 29
  2005     case 48: stack.push(arg1); // 27
  2006     case 49: stack.push(stack.pop() + stack.pop()); // 96
  2007     case 50: stack.push(1); // 4
  2008     case 51: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
  2009     case 52: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
  2010     case 53: stack.push(32); // 16 32
  2011     case 55: if (stack.pop() < stack.pop()) { gt = 64; continue; } // 163 0 9
  2012     case 58: arg1 += 255; // 132 1 255
  2013     case 61: gt = 40; continue; // 167 255 235
  2014     case 64: stack.push(arg2); // 28
  2015     case 65: if (stack.pop() > 0) { gt = 76; continue; } // 157 0 11
  2016     case 68: stack.push(arg1); // 27
  2017     case 69: stack.push(arg0); // 42
  2018     case 70: stack.push(stack.pop().count); // 180 1 97
  2019     case 73: if (stack.pop() <= stack.pop()) { gt = 85; continue; } // 162 0 12
  2020     case 76: stack.push(arg0); // 42
  2021     case 77: stack.push(arg2); // 28
  2022     case 78: stack.push(arg1); // 27
  2023     case 79: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.substringLjava_lang_StringII(self, v0, v1)); } // 182 1 147
  2024     case 82: gt = 86; continue; // 167 0 4
  2025     case 85: stack.push(arg0); // 42
  2026     case 86: return stack.pop(); // 176
  2027   }
  2028 }
  2029 */
  2030 function java_lang_String_toStringLjava_lang_String(arg0) {
  2031     return arg0.toString();
  2032 }
  2033 function java_lang_String_toCharArrayAC(arg0) {
  2034     return arg0.toString().split('');
  2035 }
  2036 /*
  2037 function java_lang_String_formatLjava_lang_StringLjava_lang_StringLjava_lang_Object(arg0,arg1) {
  2038   var stack = new Array();
  2039   var gt = 0;
  2040   for(;;) switch(gt) {
  2041     case 0: stack.push(new java_util_Formatter); // 187 0 211
  2042     case 3: stack.push(stack[stack.length - 1]); // 89
  2043     case 4: { java_util_Formatter_consV(stack.pop()); } // 183 1 174
  2044     case 7: stack.push(arg0); // 42
  2045     case 8: stack.push(arg1); // 43
  2046     case 9: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.formatALjava_util_FormatterLjava_lang_StringALjava_lang_Object(self, v0, v1)); } // 182 1 177
  2047     case 12: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 175
  2048     case 15: return stack.pop(); // 176
  2049   }
  2050 }
  2051 function java_lang_String_formatLjava_lang_StringLjava_util_LocaleLjava_lang_StringLjava_lang_Object(arg0,arg1,arg2) {
  2052   var stack = new Array();
  2053   var gt = 0;
  2054   for(;;) switch(gt) {
  2055     case 0: stack.push(new java_util_Formatter); // 187 0 211
  2056     case 3: stack.push(stack[stack.length - 1]); // 89
  2057     case 4: stack.push(arg0); // 42
  2058     case 5: { var v0 = stack.pop(); java_util_Formatter_consVLjava_util_Locale(stack.pop(), v0); } // 183 1 176
  2059     case 8: stack.push(arg1); // 43
  2060     case 9: stack.push(arg2); // 44
  2061     case 10: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.formatALjava_util_FormatterLjava_lang_StringALjava_lang_Object(self, v0, v1)); } // 182 1 177
  2062     case 13: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 175
  2063     case 16: return stack.pop(); // 176
  2064   }
  2065 }
  2066 function java_lang_String_valueOfLjava_lang_StringLjava_lang_Object(arg0) {
  2067   var stack = new Array();
  2068   var gt = 0;
  2069   for(;;) switch(gt) {
  2070     case 0: stack.push(arg0); // 42
  2071     case 1: if (stack.pop()) { gt = 9; continue; } // 199 0 8
  2072     case 4: stack.push("null"); // 18 10
  2073     case 6: gt = 13; continue; // 167 0 7
  2074     case 9: stack.push(arg0); // 42
  2075     case 10: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132
  2076     case 13: return stack.pop(); // 176
  2077   }
  2078 }
  2079 function java_lang_String_valueOfLjava_lang_StringAC(arg0) {
  2080   var stack = new Array();
  2081   var gt = 0;
  2082   for(;;) switch(gt) {
  2083     case 0: stack.push(new java_lang_String); // 187 0 200
  2084     case 3: stack.push(stack[stack.length - 1]); // 89
  2085     case 4: stack.push(arg0); // 42
  2086     case 5: { var v0 = stack.pop(); java_lang_String_consVAC(stack.pop(), v0); } // 183 1 142
  2087     case 8: return stack.pop(); // 176
  2088   }
  2089 }
  2090 function java_lang_String_valueOfLjava_lang_StringACII(arg0,arg1,arg2) {
  2091   var stack = new Array();
  2092   var gt = 0;
  2093   for(;;) switch(gt) {
  2094     case 0: stack.push(new java_lang_String); // 187 0 200
  2095     case 3: stack.push(stack[stack.length - 1]); // 89
  2096     case 4: stack.push(arg0); // 42
  2097     case 5: stack.push(arg1); // 27
  2098     case 6: stack.push(arg2); // 28
  2099     case 7: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVACAIAI(stack.pop(), v0, v1, v2); } // 183 1 143
  2100     case 10: return stack.pop(); // 176
  2101   }
  2102 }
  2103 function java_lang_String_copyValueOfLjava_lang_StringACII(arg0,arg1,arg2) {
  2104   var stack = new Array();
  2105   var gt = 0;
  2106   for(;;) switch(gt) {
  2107     case 0: stack.push(new java_lang_String); // 187 0 200
  2108     case 3: stack.push(stack[stack.length - 1]); // 89
  2109     case 4: stack.push(arg0); // 42
  2110     case 5: stack.push(arg1); // 27
  2111     case 6: stack.push(arg2); // 28
  2112     case 7: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVACAIAI(stack.pop(), v0, v1, v2); } // 183 1 143
  2113     case 10: return stack.pop(); // 176
  2114   }
  2115 }
  2116 function java_lang_String_copyValueOfLjava_lang_StringAC(arg0) {
  2117   var stack = new Array();
  2118   var gt = 0;
  2119   for(;;) switch(gt) {
  2120     case 0: stack.push(arg0); // 42
  2121     case 1: stack.push(0); // 3
  2122     case 2: stack.push(arg0); // 42
  2123     case 3: stack.push(stack.pop().length); // 190
  2124     case 4: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_String_copyValueOfALjava_lang_StringACAIAI(v0, v1, v2)); } // 184 1 155
  2125     case 7: return stack.pop(); // 176
  2126   }
  2127 }
  2128 function java_lang_String_valueOfLjava_lang_StringZ(arg0) {
  2129   var stack = new Array();
  2130   var gt = 0;
  2131   for(;;) switch(gt) {
  2132     case 0: stack.push(arg0); // 26
  2133     case 1: if (stack.pop() == 0) { gt = 9; continue; } // 153 0 8
  2134     case 4: stack.push("true"); // 18 12
  2135     case 6: gt = 11; continue; // 167 0 5
  2136     case 9: stack.push("false"); // 18 8
  2137     case 11: return stack.pop(); // 176
  2138   }
  2139 }
  2140 function java_lang_String_valueOfLjava_lang_StringC(arg0) {
  2141   var arg1;
  2142   var stack = new Array();
  2143   var gt = 0;
  2144   for(;;) switch(gt) {
  2145     case 0: stack.push(1); // 4
  2146     case 1: stack.push(new Array(stack.pop())); // 188 5
  2147     case 3: stack.push(stack[stack.length - 1]); // 89
  2148     case 4: stack.push(0); // 3
  2149     case 5: stack.push(arg0); // 26
  2150     case 6: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85
  2151     case 7: arg1 = stack.pop(); // 76
  2152     case 8: stack.push(new java_lang_String); // 187 0 200
  2153     case 11: stack.push(stack[stack.length - 1]); // 89
  2154     case 12: stack.push(0); // 3
  2155     case 13: stack.push(1); // 4
  2156     case 14: stack.push(arg1); // 43
  2157     case 15: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137
  2158     case 18: return stack.pop(); // 176
  2159   }
  2160 }
  2161 function java_lang_String_valueOfLjava_lang_StringJ(arg0) {
  2162   var arg1;
  2163   var stack = new Array();
  2164   var gt = 0;
  2165   for(;;) switch(gt) {
  2166     case 0: stack.push(arg0); // 30
  2167     case 1: stack.push(10); // 16 10
  2168     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Long_toStringLjava_lang_StringJI(v0, v1)); } // 184 1 126
  2169     case 6: return stack.pop(); // 176
  2170   }
  2171 }
  2172 function java_lang_String_valueOfLjava_lang_StringF(arg0) {
  2173   var stack = new Array();
  2174   var gt = 0;
  2175   for(;;) switch(gt) {
  2176     case 0: stack.push(arg0); // 34
  2177     case 1: { var v0 = stack.pop(); stack.push(java_lang_Float_toStringLjava_lang_StringF(v0)); } // 184 1 122
  2178     case 4: return stack.pop(); // 176
  2179   }
  2180 }
  2181 function java_lang_String_valueOfLjava_lang_StringD(arg0) {
  2182   var arg1;
  2183   var stack = new Array();
  2184   var gt = 0;
  2185   for(;;) switch(gt) {
  2186     case 0: stack.push(arg0); // 38
  2187     case 1: { var v0 = stack.pop(); stack.push(java_lang_Double_toStringLjava_lang_StringD(v0)); } // 184 1 121
  2188     case 4: return stack.pop(); // 176
  2189   }
  2190 }
  2191 function java_lang_String_internLjava_lang_String(arg0) {
  2192   // no code found for null 
  2193 }
  2194 function java_lang_String_compareToILjava_lang_Object(arg0,arg1) {
  2195   var arg2;
  2196 ;
  2197   var stack = new Array(2);
  2198   var gt = 0;
  2199   for(;;) switch(gt) {
  2200     case 0: stack.push(arg0); // 42
  2201     case 1: stack.push(arg1); // 43
  2202     case 2: if(stack[stack.length - 1].$instOf_java_lang_String != 1) throw {}; // 192 0 200
  2203     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.compareToILjava_lang_String(self, v0)); } // 182 1 148
  2204     case 8: return stack.pop(); // 172
  2205   }
  2206 }
  2207 function java_lang_String_classV() {
  2208   var stack = new Array();
  2209   var gt = 0;
  2210   for(;;) switch(gt) {
  2211     case 0: stack.push(0); // 3
  2212     case 1: stack.push(new Array(stack.pop())); // 189 0 183
  2213     case 4: java_lang_String_serialPersistentFields = stack.pop(); // 179 1 101
  2214     case 7: stack.push(new java_lang_String$CaseInsensitiveComparator); // 187 0 202
  2215     case 10: stack.push(stack[stack.length - 1]); // 89
  2216     case 11:  // 1
  2217     case 12: { var v0 = stack.pop(); java_lang_String$CaseInsensitiveComparator_consVLjava_lang_String$1(stack.pop(), v0); } // 183 1 160
  2218     case 15: java_lang_String_CASE_INSENSITIVE_ORDER = stack.pop(); // 179 1 102
  2219     case 18: return; // 177
  2220   }
  2221 }
  2222 */
  2223 var java_lang_String_serialVersionUID = 0;
  2224 var java_lang_String_serialPersistentFields = 0;
  2225 var java_lang_String_CASE_INSENSITIVE_ORDER = 0;
  2226 function java_lang_String() {
  2227   /** the real value of this 'string' we delegate to */
  2228   this.r = '';
  2229   
  2230   var self = this;
  2231     /*
  2232   this.value = 0;
  2233   this.offset = 0;
  2234   this.count = 0;
  2235   this.hash = 0;
  2236   */
  2237   this.toString = function() { return self.r; };
  2238 }
  2239 java_lang_String.prototype = new String;
  2240 //java_lang_String_classV();
  2241 
  2242 /* new method for JavaScript String */
  2243 String.prototype.consVAC = java_lang_String_consVAC;
  2244 String.prototype.consVACII = java_lang_String_consVACII;
  2245 String.prototype.charAtCI = java_lang_String_charAtCI;
  2246 String.prototype.lengthI = java_lang_String_lengthI;
  2247 String.prototype.isEmptyZ = java_lang_String_isEmptyZ;
  2248 String.prototype.getCharsVIIACI = java_lang_String_getCharsVIIACAI;
  2249 String.prototype.getCharsVACI = java_lang_String_getCharsVACI;
  2250 String.prototype.toStringLjava_lang_String = java_lang_String_toStringLjava_lang_String;
  2251 String.prototype.substringLjava_lang_StringI = java_lang_String_substringLjava_lang_StringI;
  2252 String.prototype.substringLjava_lang_StringII = java_lang_String_substringLjava_lang_StringII;
  2253 String.prototype.replaceLjava_lang_StringCC = java_lang_String_replaceLjava_lang_StringCC;
  2254 String.prototype.containsZLjava_lang_CharSequence = java_lang_String_containsZLjava_lang_CharSequence;
  2255 String.prototype.equalsZLjava_lang_Object = java_lang_String_equalsZLjava_lang_Object;
  2256 String.prototype.hashCodeI = java_lang_String_hashCodeI;
  2257 String.prototype.toCharArrayAC = java_lang_String_toCharArrayAC;
  2258 String.prototype.valueOfLjava_lang_StringI=java_lang_String_valueOfLjava_lang_StringI;
  2259 String.prototype.startsWithZLjava_lang_StringI = java_lang_String_startsWithZLjava_lang_StringI;
  2260 String.prototype.startsWithZLjava_lang_String=java_lang_String_startsWithZLjava_lang_String;
  2261 String.prototype.endsWithZLjava_lang_String=java_lang_String_endsWithZLjava_lang_String;
  2262 String.prototype.indexOfII=java_lang_String_indexOfII;
  2263 String.prototype.indexOfIII=java_lang_String_indexOfIII;
  2264 
  2265 String.prototype.$instOf_java_lang_String = true;
  2266 String.prototype.$instOf_java_io_Serializable = true;
  2267 String.prototype.$instOf_java_lang_Comparable = true;
  2268 String.prototype.$instOf_java_lang_CharSequence = true;
  2269 
  2270 /*
  2271   this.lengthI = java_lang_String_lengthI;
  2272   this.isEmptyZ = java_lang_String_isEmptyZ;
  2273   this.charAtCI = java_lang_String_charAtCI;
  2274   this.codePointAtII = java_lang_String_codePointAtII;
  2275   this.codePointBeforeII = java_lang_String_codePointBeforeII;
  2276   this.codePointCountIII = java_lang_String_codePointCountIII;
  2277   this.offsetByCodePointsIII = java_lang_String_offsetByCodePointsIII;
  2278   this.getCharsVACI = java_lang_String_getCharsVACI;
  2279   this.getCharsVIIACI = java_lang_String_getCharsVIIACI;
  2280   this.getBytesVIIABI = java_lang_String_getBytesVIIABI;
  2281   this.getBytesABLjava_lang_String = java_lang_String_getBytesABLjava_lang_String;
  2282   this.getBytesABLjava_nio_charset_Charset = java_lang_String_getBytesABLjava_nio_charset_Charset;
  2283   this.getBytesAB = java_lang_String_getBytesAB;
  2284   this.equalsZLjava_lang_Object = java_lang_String_equalsZLjava_lang_Object;
  2285   this.contentEqualsZLjava_lang_StringBuffer = java_lang_String_contentEqualsZLjava_lang_StringBuffer;
  2286   this.contentEqualsZLjava_lang_CharSequence = java_lang_String_contentEqualsZLjava_lang_CharSequence;
  2287   this.equalsIgnoreCaseZLjava_lang_String = java_lang_String_equalsIgnoreCaseZLjava_lang_String;
  2288   this.compareToILjava_lang_String = java_lang_String_compareToILjava_lang_String;
  2289   this.compareToIgnoreCaseILjava_lang_String = java_lang_String_compareToIgnoreCaseILjava_lang_String;
  2290   this.regionMatchesZILjava_lang_StringII = java_lang_String_regionMatchesZILjava_lang_StringII;
  2291   this.regionMatchesZZILjava_lang_StringII = java_lang_String_regionMatchesZZILjava_lang_StringII;
  2292   this.startsWithZLjava_lang_StringI = java_lang_String_startsWithZLjava_lang_StringI;
  2293   this.startsWithZLjava_lang_String = java_lang_String_startsWithZLjava_lang_String;
  2294   this.endsWithZLjava_lang_String = java_lang_String_endsWithZLjava_lang_String;
  2295   this.hashCodeI = java_lang_String_hashCodeI;
  2296   this.indexOfII = java_lang_String_indexOfII;
  2297   this.indexOfIII = java_lang_String_indexOfIII;
  2298   this.lastIndexOfII = java_lang_String_lastIndexOfII;
  2299   this.lastIndexOfIII = java_lang_String_lastIndexOfIII;
  2300   this.indexOfILjava_lang_String = java_lang_String_indexOfILjava_lang_String;
  2301   this.indexOfILjava_lang_StringI = java_lang_String_indexOfILjava_lang_StringI;
  2302   this.lastIndexOfILjava_lang_String = java_lang_String_lastIndexOfILjava_lang_String;
  2303   this.lastIndexOfILjava_lang_StringI = java_lang_String_lastIndexOfILjava_lang_StringI;
  2304   this.substringLjava_lang_StringI = java_lang_String_substringLjava_lang_StringI;
  2305   this.substringLjava_lang_StringII = java_lang_String_substringLjava_lang_StringII;
  2306   this.subSequenceLjava_lang_CharSequenceII = java_lang_String_subSequenceLjava_lang_CharSequenceII;
  2307   this.concatLjava_lang_StringLjava_lang_String = java_lang_String_concatLjava_lang_StringLjava_lang_String;
  2308   this.replaceLjava_lang_StringCC = java_lang_String_replaceLjava_lang_StringCC;
  2309   this.matchesZLjava_lang_String = java_lang_String_matchesZLjava_lang_String;
  2310   this.containsZLjava_lang_CharSequence = java_lang_String_containsZLjava_lang_CharSequence;
  2311   this.replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String = java_lang_String_replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String;
  2312   this.replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String = java_lang_String_replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String;
  2313   this.replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence = java_lang_String_replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence;
  2314   this.splitALjava_lang_StringLjava_lang_StringI = java_lang_String_splitALjava_lang_StringLjava_lang_StringI;
  2315   this.splitALjava_lang_StringLjava_lang_String = java_lang_String_splitALjava_lang_StringLjava_lang_String;
  2316   this.toLowerCaseLjava_lang_StringLjava_util_Locale = java_lang_String_toLowerCaseLjava_lang_StringLjava_util_Locale;
  2317   this.toLowerCaseLjava_lang_String = java_lang_String_toLowerCaseLjava_lang_String;
  2318   this.toUpperCaseLjava_lang_StringLjava_util_Locale = java_lang_String_toUpperCaseLjava_lang_StringLjava_util_Locale;
  2319   this.toUpperCaseLjava_lang_String = java_lang_String_toUpperCaseLjava_lang_String;
  2320   this.trimLjava_lang_String = java_lang_String_trimLjava_lang_String;
  2321   this.toStringLjava_lang_String = java_lang_String_toStringLjava_lang_String;
  2322   this.internLjava_lang_String = java_lang_String_internLjava_lang_String;
  2323   this.compareToILjava_lang_Object = java_lang_String_compareToILjava_lang_Object;
  2324  */
  2325 
  2326 
  2327