org.gjt.btools.ext
Classes 
ExtensionFilenameFilter
IdentifierDocument
IntegerDocument
NonNegativeIntegerDocument
Exceptions 
EmptyDocumentException