!636
!1000355 // old class JavaTok
!standard functions

main { psvm {
  List<String> list = JavaTok.split("bla [[hello] world]] bla");
  System.out.println(JavaTok.cncToLines(list));
}}