+ * Returns the default file.
+ *
+ * @return The default file
+ */
+ public String getDefaultFile() {
+ return defaultFile;
+ }
+
+ /**
+ * Sets the default file.
+ *
+ * @param defaultFile
+ * The default file
+ */
+ public void setDefaultFile(String defaultFile) {
+ String oldDefaultFile = this.defaultFile;
+ this.defaultFile = defaultFile;
+ fireIfPropertyChanged(PROPERTY_DEFAULT_FILE, oldDefaultFile, defaultFile);
+ }
+
+ /**