// Complete for Java code
// Incomplete for JavaX code
svoid tok_pingify(LS tok) {
  // Java
  
  jreplace(tok, "for (", "for ping (");
  jreplace(tok, "while (", "while ping (");
  jreplace(tok, "do {", "do { ping();");
  
  // JavaX - TODO: make sure we have all the constructs
  
  //jreplace(tok, "for $id to *:", "for $2 to $4: "... // TODO
  
  jreplace(tok, "while <id> {", "while $2 { ping();");
  jreplace(tok, "repeat * {", "repeat $2 { ping();");
}