__CLOVER_225_0.S[11452]++;if ((((libraryId.equals(INamespace.FRAMEWORK_NAMESPACE)) && (++__CLOVER_225_0.CT[1968] != 0)) || (++__CLOVER_225_0.CF[1968] == 0))){
__CLOVER_225_0.S[11453]++;throw new DocumentParseException(ParseMessages
.frameworkLibraryIdIsReserved(INamespace.FRAMEWORK_NAMESPACE), getLocation(),
null);}
__CLOVER_225_0.S[11454]++;ILibrarySpecification ls = (ILibrarySpecification) peekObject();
__CLOVER_225_0.S[11455]++;ls.setLibrarySpecificationPath(libraryId, path);
__CLOVER_225_0.S[11456]++;push(_elementName, null, STATE_NO_CONTENT);
} finally { }}