- filename = System.getProperty("user.home") + "/.jSite/config7";
- lockFilename = System.getProperty("user.home") + "/.jSite/lock7";
+ this(System.getProperty("user.home") + "/.jSite/config7");
+ }
+
+ /**
+ * Creates a new configuration that is read from the given file.
+ *
+ * @param filename
+ * The name of the configuration file
+ */
+ public Configuration(String filename) {
+ this(filename, filename + ".lock");
+ }
+
+ /**
+ * Creates a new configuration that is read from the given file and uses the
+ * given lock file.
+ *
+ * @param filename
+ * The name of the configuration file
+ * @param lockFilename
+ * The name of the lock file
+ */
+ public Configuration(String filename, String lockFilename) {
+ this.filename = filename;
+ this.lockFilename = lockFilename;