sep = server.indexOf('/'); if (sep == 0 || sep == server.length() - 1) {
int portSep = server.indexOf('/'); if (portSep == 0 || portSep == server.length() - 1) {
        public DbAttachInfo(String connectInfo) throws GDSException {            if (connectInfo == null) {                throw new GDSException("Connection string missing");            }            connectInfo = connectInfo.trim();            String node_name;            int sep = connectInfo.indexOf(':');            if (sep == 0 || sep == connectInfo.length() - 1) {                throw new GDSException("Bad connection string: ':' at beginning or end of:" + connectInfo +  isc_bad_db_format);            }            if (sep > 0) {                server = connectInfo.substring(0, sep);                fileName = connectInfo.substring(sep + 1);                sep = server.indexOf('/');                if (sep == 0 || sep == server.length() - 1) {                    throw new GDSException("Bad server string: '/' at beginning or end of: " + server +  isc_bad_db_format);                }                if (sep > 0) {                    port = Integer.parseInt(server.substring(sep + 1));                    server = server.substring(0, sep);                }            }            if (sep == -1)             {                fileName = connectInfo;            } // end of if ()                    }