!SESSION 2016-12-06 04:38:26.571 ----------------------------------------------- eclipse.buildId=4.6.2.M20161124-1400 java.version=1.8.0_51 java.vendor=Oracle Corporation BootLoader constants: OS=macosx, ARCH=x86_64, WS=cocoa, NL=en_US Framework arguments: -application org.eclipse.test.uitestapplication formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,/Users/hudsonBuild/workspace/ep46M-unit-mac64/workarea/M20161124-1400/eclipse-testing/test-eclipse/Eclipse.app/Contents/Eclipse/org.eclipse.ua.tests.doc.AllTests.xml -testPluginName org.eclipse.ua.tests.doc -className org.eclipse.ua.tests.doc.AllTests -timeout 7200000 -junitReportOutput /Users/hudsonBuild/workspace/ep46M-unit-mac64/workarea/M20161124-1400/eclipse-testing/results/ep46M-unit-mac64_macosx.cocoa.x86_64_8.0 Command-line arguments: -application org.eclipse.test.uitestapplication -data /Users/hudsonBuild/workspace/ep46M-unit-mac64/workarea/M20161124-1400/eclipse-testing/test-eclipse/Eclipse.app/Contents/Eclipse/ui_session_sniff_folder formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,/Users/hudsonBuild/workspace/ep46M-unit-mac64/workarea/M20161124-1400/eclipse-testing/test-eclipse/Eclipse.app/Contents/Eclipse/org.eclipse.ua.tests.doc.AllTests.xml -testPluginName org.eclipse.ua.tests.doc -className org.eclipse.ua.tests.doc.AllTests -os macosx -ws cocoa -arch x86_64 -consolelog -timeout 7200000 -junitReportOutput /Users/hudsonBuild/workspace/ep46M-unit-mac64/workarea/M20161124-1400/eclipse-testing/results/ep46M-unit-mac64_macosx.cocoa.x86_64_8.0 !ENTRY org.eclipse.core.net 1 0 2016-12-06 04:38:35.905 !MESSAGE System property http.proxyHost has been set to proxy.eclipse.org by an external source. This value will be overwritten using the values from the preferences !ENTRY org.eclipse.core.net 1 0 2016-12-06 04:38:35.918 !MESSAGE System property http.proxyPort has been set to 9898 by an external source. This value will be overwritten using the values from the preferences !ENTRY org.eclipse.core.net 1 0 2016-12-06 04:38:35.918 !MESSAGE System property http.nonProxyHosts has been set to 172.30.206.*|*.eclipse.org by an external source. This value will be overwritten using the values from the preferences !ENTRY org.eclipse.core.net 1 0 2016-12-06 04:38:35.920 !MESSAGE System property https.proxyHost has been set to proxy.eclipse.org by an external source. This value will be overwritten using the values from the preferences !ENTRY org.eclipse.core.net 1 0 2016-12-06 04:38:35.921 !MESSAGE System property https.proxyPort has been set to 9898 by an external source. This value will be overwritten using the values from the preferences Running org.eclipse.ua.tests.doc.internal.linkchecker.ApiDocTest#testTopicsReference() Extension point schema file not found for org.eclipse.equinox.p2.repository.tools.verifier: schema/org.eclipse.equinox.p2.repository.tools.verifier.exsd Skipping internal extension point org.eclipse.jdt.junit.internal_testKinds Skipping internal extension point org.eclipse.team.core.bundleImporters Skipping internal extension point org.eclipse.jdt.debug.jdiclient Extension point schema file not found for org.eclipse.ui.externaltools.configurationDuplicationMaps: schema/configurationDuplicationMaps.exsd Skipping internal extension point org.eclipse.compare.compareFilters * Undocumented non-internal extension points: org.eclipse.core.net.authenticator org.eclipse.e4.languages org.eclipse.e4.ui.css.core.elementProvider org.eclipse.e4.ui.css.core.propertyHandler org.eclipse.ecf.container org.eclipse.ecf.containerFactory org.eclipse.ecf.filetransfer.urlStreamHandlerService org.eclipse.ecf.identity.namespace org.eclipse.ecf.provider.filetransfer.browseFileTransferProtocolFactory org.eclipse.ecf.provider.filetransfer.retrieveFileTransferProtocolFactory org.eclipse.ecf.provider.filetransfer.sendFileTransferProtocolFactory org.eclipse.ecf.start org.eclipse.emf.ecore.content_handler org.eclipse.emf.ecore.content_parser org.eclipse.emf.ecore.conversion_delegate org.eclipse.emf.ecore.dynamic_package org.eclipse.emf.ecore.extension_parser org.eclipse.emf.ecore.factory_override org.eclipse.emf.ecore.generated_package org.eclipse.emf.ecore.invocation_delegate org.eclipse.emf.ecore.package_registry_implementation org.eclipse.emf.ecore.protocol_parser org.eclipse.emf.ecore.query_delegate org.eclipse.emf.ecore.setting_delegate org.eclipse.emf.ecore.uri_mapping org.eclipse.emf.ecore.validation_delegate org.eclipse.equinox.p2.artifact.repository.artifactComparators org.eclipse.equinox.p2.artifact.repository.artifactRepositories org.eclipse.equinox.p2.artifact.repository.processingSteps org.eclipse.equinox.p2.engine.actions org.eclipse.equinox.p2.engine.touchpoints org.eclipse.equinox.p2.garbagecollector.marksetproviders org.eclipse.equinox.p2.metadata.repository.metadataRepositories org.eclipse.equinox.p2.repository.tools.verifier org.eclipse.equinox.security.internalUI org.eclipse.jsch.core.authenticator org.eclipse.team.core.defaultFileModificationValidator org.eclipse.team.cvs.core.authenticator org.eclipse.team.cvs.core.connectionmethods org.eclipse.team.cvs.core.filemodificationvalidator org.eclipse.team.ui.scmUrlImportPages org.eclipse.ui.internalTweaklets * Undocumented exported API package: META-INF.services com.ibm.icu.lang com.ibm.icu.math com.ibm.icu.text com.ibm.icu.util com.jcraft.jsch com.sun.el javax.accessibility javax.activation javax.activity javax.annotation javax.annotation.processing javax.annotation.security javax.annotation.sql javax.crypto javax.crypto.interfaces javax.crypto.spec javax.el javax.imageio javax.imageio.event javax.imageio.metadata javax.imageio.plugins.bmp javax.imageio.plugins.jpeg javax.imageio.spi javax.imageio.stream javax.inject javax.jws javax.jws.soap javax.lang.model javax.lang.model.element javax.lang.model.type javax.lang.model.util javax.management javax.management.loading javax.management.modelmbean javax.management.monitor javax.management.openmbean javax.management.relation javax.management.remote javax.management.remote.rmi javax.management.timer javax.naming javax.naming.directory javax.naming.event javax.naming.ldap javax.naming.spi javax.net javax.net.ssl javax.print javax.print.attribute javax.print.attribute.standard javax.print.event javax.rmi javax.rmi.CORBA javax.rmi.ssl javax.script javax.security.auth javax.security.auth.callback javax.security.auth.kerberos javax.security.auth.login javax.security.auth.spi javax.security.auth.x500 javax.security.cert javax.security.sasl javax.servlet javax.servlet.annotation javax.servlet.descriptor javax.servlet.http javax.servlet.jsp javax.servlet.jsp.el javax.servlet.jsp.resources javax.servlet.jsp.tagext javax.sound.midi javax.sound.midi.spi javax.sound.sampled javax.sound.sampled.spi javax.sql javax.sql.rowset javax.sql.rowset.serial javax.sql.rowset.spi javax.swing javax.swing.border javax.swing.colorchooser javax.swing.event javax.swing.filechooser javax.swing.plaf javax.swing.plaf.basic javax.swing.plaf.metal javax.swing.plaf.multi javax.swing.plaf.nimbus javax.swing.plaf.synth javax.swing.table javax.swing.text javax.swing.text.html javax.swing.text.html.parser javax.swing.text.rtf javax.swing.tree javax.swing.undo javax.tools javax.transaction javax.transaction.xa javax.xml javax.xml.bind javax.xml.bind.annotation javax.xml.bind.annotation.adapters javax.xml.bind.attachment javax.xml.bind.helpers javax.xml.bind.util javax.xml.crypto javax.xml.crypto.dom javax.xml.crypto.dsig javax.xml.crypto.dsig.dom javax.xml.crypto.dsig.keyinfo javax.xml.crypto.dsig.spec javax.xml.datatype javax.xml.namespace javax.xml.parsers javax.xml.soap javax.xml.stream javax.xml.stream.events javax.xml.stream.util javax.xml.transform javax.xml.transform.dom javax.xml.transform.sax javax.xml.transform.stax javax.xml.transform.stream javax.xml.validation javax.xml.ws javax.xml.ws.handler javax.xml.ws.handler.soap javax.xml.ws.http javax.xml.ws.soap javax.xml.ws.spi javax.xml.ws.spi.http javax.xml.ws.wsaddressing javax.xml.xpath junit.extensions junit.framework junit.runner junit.textui org.apache.batik org.apache.batik.css.dom org.apache.batik.css.engine org.apache.batik.css.engine.resources org.apache.batik.css.engine.sac org.apache.batik.css.engine.value org.apache.batik.css.engine.value.css2 org.apache.batik.css.engine.value.resources org.apache.batik.css.engine.value.svg org.apache.batik.css.engine.value.svg12 org.apache.batik.css.parser org.apache.batik.css.parser.resources org.apache.batik.i18n org.apache.batik.util org.apache.batik.util.gui org.apache.batik.util.gui.resource org.apache.batik.util.gui.resources org.apache.batik.util.gui.resources.flags org.apache.batik.util.gui.xmleditor org.apache.batik.util.io org.apache.batik.util.io.resources org.apache.batik.util.resources org.apache.commons.codec org.apache.commons.codec.binary org.apache.commons.codec.digest org.apache.commons.codec.language org.apache.commons.codec.language.bm org.apache.commons.codec.net org.apache.commons.jxpath org.apache.commons.jxpath.functions org.apache.commons.jxpath.ri org.apache.commons.jxpath.ri.axes org.apache.commons.jxpath.ri.compiler org.apache.commons.jxpath.ri.model org.apache.commons.jxpath.ri.model.beans org.apache.commons.jxpath.ri.model.container org.apache.commons.jxpath.ri.model.dom org.apache.commons.jxpath.ri.model.dynabeans org.apache.commons.jxpath.ri.model.dynamic org.apache.commons.jxpath.ri.model.jdom org.apache.commons.jxpath.ri.parser org.apache.commons.jxpath.servlet org.apache.commons.jxpath.util org.apache.commons.jxpath.xml org.apache.commons.logging org.apache.commons.logging.impl org.apache.felix.gogo.api org.apache.felix.service.command org.apache.felix.service.threadio org.apache.http org.apache.http.annotation org.apache.http.auth org.apache.http.auth.params org.apache.http.client org.apache.http.client.cache org.apache.http.client.config org.apache.http.client.entity org.apache.http.client.fluent org.apache.http.client.methods org.apache.http.client.params org.apache.http.client.protocol org.apache.http.client.utils org.apache.http.concurrent org.apache.http.config org.apache.http.conn org.apache.http.conn.params org.apache.http.conn.routing org.apache.http.conn.scheme org.apache.http.conn.socket org.apache.http.conn.ssl org.apache.http.conn.util org.apache.http.cookie org.apache.http.cookie.params org.apache.http.entity org.apache.http.entity.mime org.apache.http.entity.mime.content org.apache.http.impl.auth org.apache.http.impl.client org.apache.http.impl.conn org.apache.http.impl.conn.tsccm org.apache.http.impl.cookie org.apache.http.impl.execchain org.apache.http.io org.apache.http.message org.apache.http.params org.apache.http.pool org.apache.http.protocol org.apache.http.util org.apache.jasper org.apache.jasper.compiler org.apache.jasper.compiler.tagplugin org.apache.jasper.resources org.apache.jasper.runtime org.apache.jasper.security org.apache.jasper.servlet org.apache.jasper.tagplugins.jstl org.apache.jasper.xmlparser org.apache.lucene org.apache.lucene.analysis org.apache.lucene.analysis.ar org.apache.lucene.analysis.bg org.apache.lucene.analysis.br org.apache.lucene.analysis.ca org.apache.lucene.analysis.cjk org.apache.lucene.analysis.cn org.apache.lucene.analysis.compound org.apache.lucene.analysis.compound.hyphenation org.apache.lucene.analysis.cz org.apache.lucene.analysis.da org.apache.lucene.analysis.de org.apache.lucene.analysis.el org.apache.lucene.analysis.en org.apache.lucene.analysis.es org.apache.lucene.analysis.eu org.apache.lucene.analysis.fa org.apache.lucene.analysis.fi org.apache.lucene.analysis.fr org.apache.lucene.analysis.gl org.apache.lucene.analysis.hi org.apache.lucene.analysis.hu org.apache.lucene.analysis.hunspell org.apache.lucene.analysis.hy org.apache.lucene.analysis.id org.apache.lucene.analysis.in org.apache.lucene.analysis.it org.apache.lucene.analysis.lv org.apache.lucene.analysis.miscellaneous org.apache.lucene.analysis.ngram org.apache.lucene.analysis.nl org.apache.lucene.analysis.no org.apache.lucene.analysis.path org.apache.lucene.analysis.payloads org.apache.lucene.analysis.position org.apache.lucene.analysis.pt org.apache.lucene.analysis.query org.apache.lucene.analysis.reverse org.apache.lucene.analysis.ro org.apache.lucene.analysis.ru org.apache.lucene.analysis.shingle org.apache.lucene.analysis.sinks org.apache.lucene.analysis.snowball org.apache.lucene.analysis.standard org.apache.lucene.analysis.standard.std31 org.apache.lucene.analysis.sv org.apache.lucene.analysis.synonym org.apache.lucene.analysis.th org.apache.lucene.analysis.tokenattributes org.apache.lucene.analysis.tr org.apache.lucene.analysis.util org.apache.lucene.analysis.wikipedia org.apache.lucene.collation org.apache.lucene.document org.apache.lucene.index org.apache.lucene.messages org.apache.lucene.queryParser org.apache.lucene.search org.apache.lucene.search.function org.apache.lucene.search.payloads org.apache.lucene.search.spans org.apache.lucene.store org.apache.lucene.util org.apache.lucene.util.fst org.apache.lucene.util.packed org.apache.tools.ant org.apache.tools.ant.attribute org.apache.tools.ant.dispatch org.apache.tools.ant.filters org.apache.tools.ant.filters.util org.apache.tools.ant.helper org.apache.tools.ant.input org.apache.tools.ant.launch org.apache.tools.ant.listener org.apache.tools.ant.loader org.apache.tools.ant.property org.apache.tools.ant.taskdefs org.apache.tools.ant.taskdefs.compilers org.apache.tools.ant.taskdefs.condition org.apache.tools.ant.taskdefs.cvslib org.apache.tools.ant.taskdefs.email org.apache.tools.ant.taskdefs.launcher org.apache.tools.ant.taskdefs.optional org.apache.tools.ant.taskdefs.optional.ccm org.apache.tools.ant.taskdefs.optional.clearcase org.apache.tools.ant.taskdefs.optional.depend org.apache.tools.ant.taskdefs.optional.depend.constantpool org.apache.tools.ant.taskdefs.optional.ejb org.apache.tools.ant.taskdefs.optional.extension org.apache.tools.ant.taskdefs.optional.extension.resolvers org.apache.tools.ant.taskdefs.optional.i18n org.apache.tools.ant.taskdefs.optional.image org.apache.tools.ant.taskdefs.optional.j2ee org.apache.tools.ant.taskdefs.optional.javacc org.apache.tools.ant.taskdefs.optional.javah org.apache.tools.ant.taskdefs.optional.jdepend org.apache.tools.ant.taskdefs.optional.jlink org.apache.tools.ant.taskdefs.optional.jsp org.apache.tools.ant.taskdefs.optional.jsp.compilers org.apache.tools.ant.taskdefs.optional.junit org.apache.tools.ant.taskdefs.optional.native2ascii org.apache.tools.ant.taskdefs.optional.net org.apache.tools.ant.taskdefs.optional.pvcs org.apache.tools.ant.taskdefs.optional.script org.apache.tools.ant.taskdefs.optional.sos org.apache.tools.ant.taskdefs.optional.sound org.apache.tools.ant.taskdefs.optional.splash org.apache.tools.ant.taskdefs.optional.ssh org.apache.tools.ant.taskdefs.optional.testing org.apache.tools.ant.taskdefs.optional.unix org.apache.tools.ant.taskdefs.optional.vss org.apache.tools.ant.taskdefs.optional.windows org.apache.tools.ant.taskdefs.rmic org.apache.tools.ant.types org.apache.tools.ant.types.mappers org.apache.tools.ant.types.optional org.apache.tools.ant.types.optional.depend org.apache.tools.ant.types.optional.image org.apache.tools.ant.types.resolver org.apache.tools.ant.types.resources org.apache.tools.ant.types.resources.comparators org.apache.tools.ant.types.resources.selectors org.apache.tools.ant.types.selectors org.apache.tools.ant.types.selectors.modifiedselector org.apache.tools.ant.types.spi org.apache.tools.ant.util org.apache.tools.ant.util.depend org.apache.tools.ant.util.depend.bcel org.apache.tools.ant.util.facade org.apache.tools.ant.util.java15 org.apache.tools.ant.util.optional org.apache.tools.ant.util.regexp org.apache.tools.bzip2 org.apache.tools.mail org.apache.tools.tar org.apache.tools.zip org.apache.xmlcommons org.easymock org.eclipse.core.databinding.observable.sideeffect org.eclipse.e4.core.services.nls org.eclipse.e4.core.services.translation org.eclipse.e4.emf.xpath org.eclipse.ecf.core org.eclipse.ecf.core.events org.eclipse.ecf.core.identity org.eclipse.ecf.core.jobs org.eclipse.ecf.core.provider org.eclipse.ecf.core.security org.eclipse.ecf.core.start org.eclipse.ecf.core.status org.eclipse.ecf.core.user org.eclipse.ecf.core.util org.eclipse.ecf.core.util.reflection org.eclipse.ecf.filetransfer org.eclipse.ecf.filetransfer.events org.eclipse.ecf.filetransfer.events.socketfactory org.eclipse.ecf.filetransfer.identity org.eclipse.ecf.filetransfer.service org.eclipse.ecf.provider.filetransfer.browse org.eclipse.ecf.provider.filetransfer.httpclient4 org.eclipse.ecf.provider.filetransfer.identity org.eclipse.ecf.provider.filetransfer.outgoing org.eclipse.ecf.provider.filetransfer.retrieve org.eclipse.ecf.provider.filetransfer.util org.eclipse.emf.common org.eclipse.emf.common.archive org.eclipse.emf.common.command org.eclipse.emf.common.notify org.eclipse.emf.common.notify.impl org.eclipse.emf.common.util org.eclipse.emf.ecore org.eclipse.emf.ecore.change org.eclipse.emf.ecore.change.impl org.eclipse.emf.ecore.change.util org.eclipse.emf.ecore.impl org.eclipse.emf.ecore.plugin org.eclipse.emf.ecore.resource org.eclipse.emf.ecore.resource.impl org.eclipse.emf.ecore.util org.eclipse.emf.ecore.xmi org.eclipse.emf.ecore.xmi.impl org.eclipse.emf.ecore.xmi.util org.eclipse.emf.ecore.xml.namespace org.eclipse.emf.ecore.xml.namespace.impl org.eclipse.emf.ecore.xml.namespace.util org.eclipse.emf.ecore.xml.type org.eclipse.emf.ecore.xml.type.impl org.eclipse.emf.ecore.xml.type.util org.eclipse.equinox.concurrent.future org.eclipse.equinox.console.common org.eclipse.equinox.console.common.terminal org.eclipse.equinox.console.completion.common org.eclipse.equinox.events org.eclipse.equinox.log org.eclipse.equinox.p2.metadata.io org.eclipse.equinox.p2.repository.tools.analyzer org.eclipse.equinox.p2.repository.tools.comparator org.eclipse.equinox.simpleconfigurator.manipulator org.eclipse.jdi org.eclipse.jdi.hcr org.eclipse.jetty.continuation org.eclipse.jetty.http org.eclipse.jetty.http.pathmap org.eclipse.jetty.io org.eclipse.jetty.io.ssl org.eclipse.jetty.security org.eclipse.jetty.security.authentication org.eclipse.jetty.server org.eclipse.jetty.server.handler org.eclipse.jetty.server.handler.gzip org.eclipse.jetty.server.handler.jmx org.eclipse.jetty.server.jmx org.eclipse.jetty.server.nio org.eclipse.jetty.server.session org.eclipse.jetty.server.session.jmx org.eclipse.jetty.servlet org.eclipse.jetty.servlet.jmx org.eclipse.jetty.servlet.listener org.eclipse.jetty.util org.eclipse.jetty.util.annotation org.eclipse.jetty.util.component org.eclipse.jetty.util.log org.eclipse.jetty.util.preventers org.eclipse.jetty.util.resource org.eclipse.jetty.util.security org.eclipse.jetty.util.ssl org.eclipse.jetty.util.statistic org.eclipse.jetty.util.thread org.eclipse.jetty.util.thread.strategy org.eclipse.jface org.eclipse.jface.action.images org.eclipse.jface.contentassist.images org.eclipse.jface.dialogs.images org.eclipse.jface.fieldassist.images org.eclipse.jface.images org.eclipse.jface.preference.images org.eclipse.jface.text.source.projection.images org.eclipse.jface.wizard.images org.eclipse.osgi.container org.eclipse.osgi.container.builders org.eclipse.osgi.container.namespaces org.eclipse.osgi.report.resolution org.eclipse.osgi.service.pluginconversion org.eclipse.osgi.service.urlconversion org.eclipse.perfmsr.core org.eclipse.test org.eclipse.test.performance org.glassfish.jsp.api org.hamcrest org.hamcrest.core org.ietf.jgss org.junit org.junit.experimental org.junit.experimental.categories org.junit.experimental.max org.junit.experimental.results org.junit.experimental.runners org.junit.experimental.theories org.junit.experimental.theories.suppliers org.junit.matchers org.junit.rules org.junit.runner org.junit.runner.manipulation org.junit.runner.notification org.junit.runners org.junit.runners.model org.junit.runners.parameterized org.junit.validator org.objectweb.asm org.objectweb.asm.signature org.objectweb.asm.tree org.omg.CORBA org.omg.CORBA.DynAnyPackage org.omg.CORBA.ORBPackage org.omg.CORBA.TypeCodePackage org.omg.CORBA.portable org.omg.CORBA_2_3 org.omg.CORBA_2_3.portable org.omg.CosNaming org.omg.CosNaming.NamingContextExtPackage org.omg.CosNaming.NamingContextPackage org.omg.Dynamic org.omg.DynamicAny org.omg.DynamicAny.DynAnyFactoryPackage org.omg.DynamicAny.DynAnyPackage org.omg.IOP org.omg.IOP.CodecFactoryPackage org.omg.IOP.CodecPackage org.omg.Messaging org.omg.PortableInterceptor org.omg.PortableInterceptor.ORBInitInfoPackage org.omg.PortableServer org.omg.PortableServer.CurrentPackage org.omg.PortableServer.POAManagerPackage org.omg.PortableServer.POAPackage org.omg.PortableServer.ServantLocatorPackage org.omg.PortableServer.portable org.omg.SendingContext org.omg.stub.java.rmi org.osgi.dto org.osgi.framework org.osgi.framework.dto org.osgi.framework.hooks.bundle org.osgi.framework.hooks.resolver org.osgi.framework.hooks.service org.osgi.framework.hooks.weaving org.osgi.framework.launch org.osgi.framework.namespace org.osgi.framework.startlevel org.osgi.framework.startlevel.dto org.osgi.framework.wiring org.osgi.framework.wiring.dto org.osgi.resource org.osgi.resource.dto org.osgi.service.application org.osgi.service.cm org.osgi.service.component org.osgi.service.component.annotations org.osgi.service.condpermadmin org.osgi.service.device org.osgi.service.event org.osgi.service.http org.osgi.service.http.context org.osgi.service.http.runtime org.osgi.service.http.runtime.dto org.osgi.service.http.whiteboard org.osgi.service.log org.osgi.service.metatype org.osgi.service.packageadmin org.osgi.service.permissionadmin org.osgi.service.prefs org.osgi.service.provisioning org.osgi.service.resolver org.osgi.service.startlevel org.osgi.service.upnp org.osgi.service.url org.osgi.service.useradmin org.osgi.service.wireadmin org.osgi.util.measurement org.osgi.util.position org.osgi.util.tracker org.osgi.util.xml org.sat4j org.sat4j.core org.sat4j.minisat org.sat4j.minisat.constraints org.sat4j.minisat.constraints.card org.sat4j.minisat.constraints.cnf org.sat4j.minisat.core org.sat4j.minisat.learning org.sat4j.minisat.orders org.sat4j.minisat.restarts org.sat4j.opt org.sat4j.pb org.sat4j.pb.constraints org.sat4j.pb.constraints.pb org.sat4j.pb.core org.sat4j.pb.orders org.sat4j.pb.reader org.sat4j.pb.tools org.sat4j.reader org.sat4j.specs org.sat4j.tools org.sat4j.tools.encoding org.sat4j.tools.xplain org.tartarus.snowball org.tartarus.snowball.ext org.tukaani.xz org.tukaani.xz.check org.tukaani.xz.common org.tukaani.xz.delta org.tukaani.xz.index org.tukaani.xz.lz org.tukaani.xz.lzma org.tukaani.xz.rangecoder org.tukaani.xz.simple org.w3c.css.sac org.w3c.css.sac.helpers org.w3c.dom org.w3c.dom.bootstrap org.w3c.dom.css org.w3c.dom.events org.w3c.dom.html org.w3c.dom.ls org.w3c.dom.ranges org.w3c.dom.smil org.w3c.dom.stylesheets org.w3c.dom.svg org.w3c.dom.traversal org.w3c.dom.views org.w3c.dom.xpath org.xml.sax org.xml.sax.ext org.xml.sax.helpers