Title: GlobalProperties
Description: Reloadable implementation of the java.util.Properties class,
ready to return certain properties through specific accessor methods.
Title: GlobalPropertiesFileWriter
Description: This class is designed to write the global properties file,
from scratch, to make sure that each additional text is kept
(java.util.Properties has its own, ugly format...).
Returns an array filled with strings formatted like
"<key>=<value>", ready to be written into the global
properties file, together with the description of the section wherein
these strings are located in the file.
Returns the specified provider instance or null, if the provider list
hasn't been passed in the constructor or the specified provider name is
not registered.