protected boolean declAlreadyDeclared(String prefix){
  int startDecls=m_contextIndexes.peek();
  java.util.Vector prefixMappings=m_prefixMappings;
  int nDecls=prefixMappings.size();
  for (int i=startDecls; i < nDecls; i+=2) {
    String prefixDecl=(String)prefixMappings.elementAt(i);
    if (prefixDecl == null)     continue;
    if (prefixDecl.equals(prefix))     return true;
  }
  return false;
}

protected boolean declAlreadyDeclared ( String prefix ) { int startDecls = m_contextIndexes . peek ( ) ; java . util . Vector prefixMappings = m_prefixMappings ; int nDecls = prefixMappings . size ( ) ; for ( int i = startDecls ; i < nDecls ; i += 2 ) { String prefixDecl = ( String ) prefixMappings . elementAt ( i ) ; if ( prefixDecl == null ) continue ; if ( prefixDecl . equals ( prefix ) ) return true ; } return false ; }
check if a declaration has already been made for a given prefix .
