static JFilePathLabel jFilePathLabel(File f) {
  ret swing(-> new JFilePathLabel(f));
}