plugin.properties file

The plugin.properties file is used to store configuration properties that are set by the integration process. The file is located in the lib/org.dita.dost.platform directory; it is regenerated each time the integration process is run and so should not be edited manually.