!752

p {
  L<S> tok = javaTok(loadSnippet("#1001845"));
  tok = runTranslator(tok, "#1001886");
  print(join(tok));
}