import java.io.*;
import javax.sound.sampled.*;

static void javaSound_playFileAndWait(File f) ctex {
  Pair<Clip, Flag> p = javaSound_playFile(f);
  p.b.waitUntilUp();
}