public String getShortDBName() {
		if (shortDbName != null) {
			return shortDbName;
		}
		shortDbName = dbName;
		if (dbType == DBType.file) {
			int ix = dbName.lastIndexOf('/');
			if (ix >= 0) {
				shortDbName = dbName.substring(ix + 1);
			}
		}
		return shortDbName;
	}
Get the DB Name.  In the case of {@link DBType#file} the directory path will
be excluded from returned name.
@return shortened DB Name
Ghidra/Features/BSim/src/main/java/ghidra/features/bsim/query/BSimServerInfo.java