!636
!quicktranslator
!class JavaTok

List<String> tok = JavaTok.split(s);

for (int i = 1; i+2 < tok.size(); i += 2)
  if (tok.get(i).equals("case")
    && !tok.get(i+2).startsWith("'"))
    tok.set(i, "_case");
    
s = JavaTok.join(tok);