This class encapsulates the code to read element plug-in's properties file. The element plug-in's properties file should be placed under
the "config" directory (located in the root of the package), and the file name must be "plugin.config". The file has the common Java
Properties file format (key=value), and it is expected to contain the following keys, with their default values:
name: the plug-in name;
id: the plug-in id (usually the main Java package);
version: the package version;
element.class: the full name of the class which extends
, including the package;
permissions.filesystem.read: "true" if the plug-in needs permission to read from the file system; "false" otherwise.
permissions.filesystem.write: "true" if the plug-in needs permission to write to the file system; "false" otherwise.
permissions.network: "true" if the plug-in needs permission to use the network (send/receive packages); "false" otherwise.
Permission checking is currently not implemented, but future versions of the framework might allow or deny some operations, or warn user
about them, according to the values of these properties.