add is_final for html5 and java client (#795)

zhaomingwork

2023-08-01 77dc80f036cb66e58915e7173d083437d1aca60a

1
2
3
4
5
6
7
8
9
10
zehn    10
elf    11
zwölf    12
dreizehn    13
vierzehn    14
fünfzehn    15
sechzehn    16
siebzehn    17
achtzehn    18
neunzehn    19