__CLOVER_225_0.S[5379]++;if ((((libraryId.equals(INamespace.FRAMEWORK_NAMESPACE)) && (++__CLOVER_225_0.CT[948] != 0)) || (++__CLOVER_225_0.CF[948] == 0))){
__CLOVER_225_0.S[5380]++;throw new DocumentParseException(ParseMessages
.frameworkLibraryIdIsReserved(INamespace.FRAMEWORK_NAMESPACE), getLocation(),
null);}
__CLOVER_225_0.S[5381]++;ILibrarySpecification ls = (ILibrarySpecification) peekObject();
__CLOVER_225_0.S[5382]++;ls.setLibrarySpecificationPath(libraryId, path);
__CLOVER_225_0.S[5383]++;push(_elementName, null, STATE_NO_CONTENT);
} finally { }}