throw new PlatformException("Database location " + db + " already exists. Cannot re-initialize workspace from baseline.");
if (REQUIRE_INDEX_IN_BASELINE) {
Path index = workspaceLocation.resolve(INDEX_DIRECTORY);
throw new PlatformException("Database location " + db + " already exists. Cannot re-initialize workspace from baseline.");
if (REQUIRE_INDEX_IN_BASELINE) {
Path index = workspaceLocation.resolve(INDEX_DIRECTORY);