public void setPropertyFile(String value) {
    File f = (new File(value)).getAbsoluteFile();
    if (f.isDirectory()) {
      throw new IllegalArgumentException(
          String.format("The file %s is a directory.", f));
    }
    File parent = f.getParentFile();
    if (parent != null) {
      if (!parent.isDirectory()) {
        throw new IllegalArgumentException(
            String.format("The directory %s does not exist.", parent));
      }
    }
    propertyFile = f.getPath();
  }
Sets the agent's property file.

@param value the name of the file to save the agent properties in.
@throws IllegalArgumentException if the specified file is a directory.
@throws IllegalArgumentException if the specified file's parent is not an existing directory.
geode-core/src/main/java/org/apache/geode/admin/jmx/internal/AgentImpl.java