presto-main/src/main/java/io/prestosql/sql/SqlEnvironmentConfig.java/SqlEnvironmentConfig/getDefaultCatalog
class SqlEnvironmentConfig:    @NotNull
    public Optional<String> getDefaultCatalog()
    {
        return defaultCatalog;
    }