!7

p-exp {
  File temp = javaxDataDir("Browser Binary-Temp");
  unzipSnippet(#1400144, temp);
  renameFile(temp, javaxDataDir("Browser Binary"));
}