stardiv.js.base
Classes 
GlobalResManager
Identifier
IdentifierPool
NetscapeHacks
Exceptions 
JSException
ParserException