JAL-4135 replace stream.toString(Charset) calls with stream.toString(String)
authorMateusz Warowny <mmzwarowny@dundee.ac.uk>
Fri, 24 Feb 2023 15:02:31 +0000 (16:02 +0100)
committerMateusz Warowny <mmzwarowny@dundee.ac.uk>
Fri, 24 Feb 2023 15:08:14 +0000 (16:08 +0100)
commit3cc6cd558fa548219f4e12b3abbb6b88d0d20c23
tree9535be9eca261a0cb3d9982033d6acd751feafcc
parent08b2d95d2174021c3b201fc1afe7564bb354f503
JAL-4135 replace stream.toString(Charset) calls with stream.toString(String)

The former variant was introduced in java 10 and is not implemented in java2script.
src/jalview/ws2/client/slivka/SlivkaWSClient.java