sS javaDropSlashStarComments(S s) {
  ret join(javaDropSlashStarComments(javaTok(s)));
}

static LS javaDropSlashStarComments(LS tok) {
  for (int i = 0; i < l(tok); i += 2)
    tok.set(i, tok_javaDropSlashStarCommentsFromWhitespace(tok.get(i)));
  ret tok;
}