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