static S DiskSnippetCache_fileToLibID(File f) {
  if (f == null) null;
  S s = f.getName();
  if (swicEwic(s, "data_", ".jar"))
    ret fsI(parseLong(dropPrefix("data_", dropSuffix(".jar", s))));
  null;
}