grant {
  // needed for Windows named pipes in machine learning
  permission java.io.FilePermission "\\\\.\\pipe\\*", "read,write";
};