public static Wrapper getServerInfo(Connection connection, String property) {
    { edu.isi.sdbc.NativeConnection ncon = connection.nativeConnection;

      { String testValue000 = connection.protocol;

        if (Stella.stringEqlP(testValue000, "ODBC")) {
        }
        else if (Stella.stringEqlP(testValue000, "JDBC")) {
          return(SDBCSupport.doGetServerInfo(ncon, property));
        }
        else {
        }
      }
      { String testValue001 = Native.stringUpcase(property);

        if (Stella.stringEqlP(testValue001, "DBMS-NAME")) {
          return (StringWrapper.wrapString(Connection.guessDbmsName(connection)));
        }
        else if (Stella.stringEqlP(testValue001, "DBMS-VERSION")) {
          { Keyword testValue002 = Connection.getDbmsName(connection);

            if (testValue002 == Sdbc.KWD_MYSQL) {
              return (((Wrapper)(Cons.consTreeNth(((Cons)(Connection.executeSql(connection, StringWrapper.wrapString("select version()"), Stella.NIL))), Cons.cons(IntegerWrapper.wrapInteger(0), Cons.cons(IntegerWrapper.wrapInteger(0), Stella.NIL))))));
            }
            else if (testValue002 == Sdbc.KWD_ORACLE) {
              return (((Wrapper)(Cons.consTreeNth(((Cons)(Connection.executeSql(connection, StringWrapper.wrapString("select * from v$version where banner like 'Oracle%'"), Stella.NIL))), Cons.cons(IntegerWrapper.wrapInteger(0), Cons.cons(IntegerWrapper.wrapInteger(0), Stella.NIL))))));
            }
            else {
            }
          }
        }
        else {
        }
      }
      return (null);
    }
  }