test-case(
  comment("Initial Java lexing example"),

  send >> load("#1") <<,
  send >> try-first "net.luaos.tb.tb09.sol_simpleLexer" <<,
  send solve,
  expect "*")