private BSimServerInfo readBsimServerInfoFile(File file) {
		try {
			GProperties properties = new JSonProperties(file);
			String dbTypeName = properties.getString("DBType", null);
			DBType dbType = DBType.valueOf(dbTypeName);
			String name = properties.getString("Name", null);
			String user = properties.getString("User", null);
			String host = properties.getString("Host", null);
			int port = properties.getInt("Port", 0);
			if (dbType != null && name != null) {
				BSimServerInfo info = new BSimServerInfo(dbType, user, host, port, name);
				return info;
			}
			Msg.showError(this, null, "Error reading Bsim Server File",
				"Bad BSim Server Info in file " + file.toString());
		}
		catch (IOException e) {
			Msg.showError(this, null, "Error Reading BSim Server File",
				"Error processing Bsim Server info file: " + file.toString());
		}
		return null;
	}
Get list of defined servers.  Method must be invoked from swing thread only.
@return list of defined servers
Ghidra/Features/BSim/src/main/java/ghidra/features/bsim/gui/BSimServerManager.java