@@ -13221,6 +13221,7 @@ if (ev.keyCode == 9 && ev.target["data-focuscomponent"]) {
1322113221 if (isApp && applet.__Info.headless) {
1322213222 Clazz.loadClass("java.lang.Thread").currentThread$().group.html5Applet = applet;
1322313223 cl.main$SA(applet.__Info.args || []);
13224+ System.exit$(0);
1322413225 } else {
1322513226
1322613227 applet.__Info.main
@@ -16830,8 +16831,9 @@ java.lang.System = System = {
1683016831 currentTimeMillis$ : function () {
1683116832 return new Date ().getTime ();
1683216833 },
16833- exit$ : function() {
16834- swingjs.JSToolkit && swingjs.JSToolkit.exit$()
16834+ exit$ : function(status) {
16835+ swingjs.JSToolkit || Clazz.loadClass("swingjs.JSToolkit");
16836+ swingjs.JSToolkit.exit$I(status || 0)
1683516837 },
1683616838 gc$ : function() {}, // bh
1683716839 getProperties$ : function () {
@@ -18361,6 +18363,7 @@ String(byte[] ascii, int hibyte, int offset, int count)
1836118363*/
1836218364
1836318365String.instantialize=function(){
18366+ var x=arguments[0];
1836418367switch (arguments.length) {
1836518368case 0:
1836618369 return new String();
@@ -18370,7 +18373,6 @@ case 1:
1837018373 // String(StringBuffer buffer)
1837118374 // String(StringBuilder builder)
1837218375 // String(String original)
18373- var x=arguments[0];
1837418376 if (x.__BYTESIZE || x instanceof Array){
1837518377 return (x.length == 0 ? "" : typeof x[0]=="number" ? Encoding.readUTF8Array(x) : x.join(''));
1837618378 }
@@ -18381,21 +18383,21 @@ case 2:
1838118383 // String(byte[] bytes, String charsetName)
1838218384
1838318385 var hibyte=arguments[1];
18384- return (typeof hibyte=="number" ? String.instantialize(arguments[0] ,hibyte,0,arguments[0] .length)
18386+ return (typeof hibyte=="number" ? String.instantialize(x ,hibyte,0,x .length)
1838518387 : self.TextDecoder && arguments[1].toString().toUpperCase() == "UTF-8" ? new TextDecoder().decode(arguments[0])
1838618388 : String.instantialize(x,0,x.length,hibyte));
1838718389case 3:
1838818390 // String(byte[] bytes, int offset, int length)
1838918391 // String(char[] value, int offset, int count)
1839018392 // String(int[] codePoints, int offset, int count)
1839118393
18392- var bytes=arguments[0] ;
18394+ var bytes=x ;
1839318395 var offset=arguments[1];
1839418396 var length=arguments[2];
1839518397 if(arguments[2]instanceof Array){
1839618398 // ???
1839718399 bytes=arguments[2];
18398- offset=arguments[0] ;
18400+ offset=x ;
1839918401 length=arguments[1];
1840018402 }
1840118403 var arr=new Array(length);
@@ -18420,7 +18422,7 @@ case 4:
1842018422 // String(byte[] bytes, int offset, int length, String charsetName)
1842118423 // String(byte[] ascii, int hibyte, int offset, int count)
1842218424
18423- var bytes=arguments[0] ;
18425+ var bytes=x ;
1842418426 var cs=arguments[3];
1842518427 if(typeof cs != "number"){
1842618428 var offset=arguments[1];
0 commit comments