initLineNumberMarker( options );
	LibraryParserHandler( DesignSession theSession, Module host, URL systemId,			String fileName, ModuleOption options )	{		super( theSession, fileName );		module = new Library( theSession, host );		module.setSystemId( systemId );		module.setFileName( fileName );		module.setOptions( options );	}