if ( ! repeatDialog ) {
// Calculate available disc space
int discSpace = SystemManager.calculateDiscSpace(dir);
data.setAvailableDiscSpace(discSpace);
Installer installer = InstallerFactory.getInstance();
// Is this a new directory, or one that was already set before.
// In this case, the database does not need to be evaluated again.
// -> Testing, whether the database path has changed. This can
// only happen in user installations.
if ( data.isUserInstallation() ) {
String oldDatabasePath = data.getDatabasePath();
// Setting the database path
installer.defineDatabasePath();
if (( oldDatabasePath == null ) || ( ! oldDatabasePath.equals(data.getDatabasePath()))) {
data.setDatabaseAnalyzed(false);
data.setDatabaseQueried(false);
} else {