001    package com.thaiopensource.relaxng.parse;
002    
003    public interface Div extends GrammarSection {
004      void endDiv(Location loc, Annotations anno) throws BuildException;
005    }