org.eclipse.equinox.p2.repository.tools.jar.comparator - Sun Jul 25 20:29:57 EDT 2010 packed: osgi.bundle,org.sat4j.pb,2.2.0.v20100429 Download of file:/shared/eclipse/e4/build/e4/downloads/drops/4.0.0/targets/updates/4.0/I20100722-2038 failed on repository osgi.bundle,org.sat4j.pb,2.2.0.v20100429. Retrying. Problems downloading artifact: osgi.bundle,org.sat4j.pb,2.2.0.v20100429. File has invalid content:/tmp/signatureFile3107360766402076717.jar Invalid content:org/sat4j/pb/core/PBSolverCautious.class The file "org/sat4j/pb/core/PBSolverCautious.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/IDataStructurePB.class The file "org/sat4j/pb/constraints/pb/IDataStructurePB.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.class The file "org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/UserFriendlyPBStringSolver$1.class The file "org/sat4j/pb/UserFriendlyPBStringSolver$1.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/reader/OPBReader2006.class The file "org/sat4j/pb/reader/OPBReader2006.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/ImplicationNamer.class The file "org/sat4j/pb/tools/ImplicationNamer.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/core/PBSolverMerging.class The file "org/sat4j/pb/core/PBSolverMerging.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.class The file "org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.class The file "org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/PBMaxCBClauseCardConstrDataStructure.class The file "org/sat4j/pb/constraints/PBMaxCBClauseCardConstrDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/core/PBSolverCP.class The file "org/sat4j/pb/core/PBSolverCP.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/AtLeastPB.class The file "org/sat4j/pb/constraints/pb/AtLeastPB.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.class The file "org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/MinWatchCardPB.class The file "org/sat4j/pb/constraints/pb/MinWatchCardPB.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/ConflictMap.class The file "org/sat4j/pb/constraints/pb/ConflictMap.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/MapPb.class The file "org/sat4j/pb/constraints/pb/MapPb.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/UnitClausePB.class The file "org/sat4j/pb/constraints/pb/UnitClausePB.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/LanceurPseudo2007Eclipse.class The file "org/sat4j/pb/LanceurPseudo2007Eclipse.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/DependencyHelper.class The file "org/sat4j/pb/tools/DependencyHelper.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/ImplicationAnd.class The file "org/sat4j/pb/tools/ImplicationAnd.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/PBMaxDataStructure.class The file "org/sat4j/pb/constraints/PBMaxDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/Pseudos.class The file "org/sat4j/pb/constraints/pb/Pseudos.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.class The file "org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/ConflictMapClause.class The file "org/sat4j/pb/constraints/pb/ConflictMapClause.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.class The file "org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/core/PBSolverResCP.class The file "org/sat4j/pb/core/PBSolverResCP.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/PBContainer.class The file "org/sat4j/pb/constraints/PBContainer.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/PBSolverDecorator.class The file "org/sat4j/pb/PBSolverDecorator.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/LearntBinaryClausePB.class The file "org/sat4j/pb/constraints/pb/LearntBinaryClausePB.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/SolverFactory.class The file "org/sat4j/pb/SolverFactory.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.class The file "org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/DependencyHelper$2.class The file "org/sat4j/pb/tools/DependencyHelper$2.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/orders/VarOrderHeapObjective.class The file "org/sat4j/pb/orders/VarOrderHeapObjective.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/core/PBSolverWithImpliedClause.class The file "org/sat4j/pb/core/PBSolverWithImpliedClause.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/AbstractPBDataStructureFactory$2.class The file "org/sat4j/pb/constraints/AbstractPBDataStructureFactory$2.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/core/PBSolverResolution.class The file "org/sat4j/pb/core/PBSolverResolution.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/MaxWatchPb.class The file "org/sat4j/pb/constraints/pb/MaxWatchPb.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/OriginalHTClausePB.class The file "org/sat4j/pb/constraints/pb/OriginalHTClausePB.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/core/PBSolverClause.class The file "org/sat4j/pb/core/PBSolverClause.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/PBConstr.class The file "org/sat4j/pb/constraints/pb/PBConstr.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/OPBStringSolver.class The file "org/sat4j/pb/OPBStringSolver.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/InternalMapPBStructure.class The file "org/sat4j/pb/constraints/pb/InternalMapPBStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/core/PBSolverStats.class The file "org/sat4j/pb/core/PBSolverStats.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/DisjunctionRHS.class The file "org/sat4j/pb/tools/DisjunctionRHS.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.class The file "org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/PseudoIteratorDecorator.class The file "org/sat4j/pb/PseudoIteratorDecorator.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/ImplicationRHS.class The file "org/sat4j/pb/tools/ImplicationRHS.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/IConflict.class The file "org/sat4j/pb/constraints/pb/IConflict.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/XplainPB.class The file "org/sat4j/pb/tools/XplainPB.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/PuebloMinWatchPb.class The file "org/sat4j/pb/constraints/pb/PuebloMinWatchPb.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/reader/OPBReader2005.class The file "org/sat4j/pb/reader/OPBReader2005.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/reader/OPBEclipseReader2007.class The file "org/sat4j/pb/reader/OPBEclipseReader2007.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/reader/OPBReader2007.class The file "org/sat4j/pb/reader/OPBReader2007.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/WatchPb.class The file "org/sat4j/pb/constraints/pb/WatchPb.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/ConflictTracing.class The file "org/sat4j/pb/tools/ConflictTracing.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.class The file "org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/StringNegator.class The file "org/sat4j/pb/tools/StringNegator.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/LearntHTClausePB.class The file "org/sat4j/pb/constraints/pb/LearntHTClausePB.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/ConflictMapCardinality.class The file "org/sat4j/pb/constraints/pb/ConflictMapCardinality.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/OptToPBSATAdapter.class The file "org/sat4j/pb/OptToPBSATAdapter.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/AbstractPBDataStructureFactory.class The file "org/sat4j/pb/constraints/AbstractPBDataStructureFactory.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.class The file "org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/ObjectiveFunction.class The file "org/sat4j/pb/ObjectiveFunction.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/core/PBSolver.class The file "org/sat4j/pb/core/PBSolver.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/reader/PBInstanceReader.class The file "org/sat4j/pb/reader/PBInstanceReader.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/AbstractPBDataStructureFactory$INormalizer.class The file "org/sat4j/pb/constraints/AbstractPBDataStructureFactory$INormalizer.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/DependencyHelper$1.class The file "org/sat4j/pb/tools/DependencyHelper$1.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/AbstractPBDataStructureFactory$1.class The file "org/sat4j/pb/constraints/AbstractPBDataStructureFactory$1.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/LanceurPseudo2005.class The file "org/sat4j/pb/LanceurPseudo2005.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/LanceurPseudo2007.class The file "org/sat4j/pb/LanceurPseudo2007.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/DependencyHelper$Negation.class The file "org/sat4j/pb/tools/DependencyHelper$Negation.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/PBMinDataStructure.class The file "org/sat4j/pb/constraints/PBMinDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/core/PBDataStructureFactory.class The file "org/sat4j/pb/core/PBDataStructureFactory.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/PseudoOptDecorator.class The file "org/sat4j/pb/PseudoOptDecorator.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/PuebloPBMinDataStructure.class The file "org/sat4j/pb/constraints/PuebloPBMinDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.class The file "org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/WeightedObject.class The file "org/sat4j/pb/tools/WeightedObject.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/UserFriendlyPBStringSolver.class The file "org/sat4j/pb/UserFriendlyPBStringSolver.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/IPBSolver.class The file "org/sat4j/pb/IPBSolver.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/tools/INegator.class The file "org/sat4j/pb/tools/INegator.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/ConflictMapMerging.class The file "org/sat4j/pb/constraints/pb/ConflictMapMerging.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/MixableCBClausePB.class The file "org/sat4j/pb/constraints/pb/MixableCBClausePB.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/OPBStringSolver$1.class The file "org/sat4j/pb/OPBStringSolver$1.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! Invalid content:org/sat4j/pb/constraints/pb/MinWatchPb.class The file "org/sat4j/pb/constraints/pb/MinWatchPb.class" in the jar "/tmp/signatureFile3107360766402076717.jar" has been tampered! packed: org.eclipse.update.feature,org.eclipse.equinox.core.sdk,3.6.0.v20100503-7sF99FsFFUu63a35g6s Difference found for packed: org.eclipse.update.feature,org.eclipse.equinox.core.sdk,3.6.0.v20100503-7sF99FsFFUu63a35g6s between file:/shared/eclipse/e4/build/e4/downloads/drops/4.0.0/targets/updates/4.0/I20100722-2038 and file:/opt/public/eclipse/e4/build/e4/downloads/drops/4.0.0/workspace/builds/I201007251756/org.eclipse.releng.eclipsebuilder/../src/reposource/ The feature has a different number of entries/ canonical: org.eclipse.update.feature,org.eclipse.equinox.core.sdk,3.6.0.v20100503-7sF99FsFFUu63a35g6s Difference found for canonical: org.eclipse.update.feature,org.eclipse.equinox.core.sdk,3.6.0.v20100503-7sF99FsFFUu63a35g6s between file:/shared/eclipse/e4/build/e4/downloads/drops/4.0.0/targets/updates/4.0/I20100722-2038 and file:/opt/public/eclipse/e4/build/e4/downloads/drops/4.0.0/workspace/builds/I201007251756/org.eclipse.releng.eclipsebuilder/../src/reposource/ The feature has a different number of entries/ packed: osgi.bundle,org.sat4j.core,2.2.0.v20100429 Download of file:/shared/eclipse/e4/build/e4/downloads/drops/4.0.0/targets/updates/4.0/I20100722-2038 failed on repository osgi.bundle,org.sat4j.core,2.2.0.v20100429. Retrying. Problems downloading artifact: osgi.bundle,org.sat4j.core,2.2.0.v20100429. File has invalid content:/tmp/signatureFile1595817413830711332.jar Invalid content:org/sat4j/tools/GateTranslator.class The file "org/sat4j/tools/GateTranslator.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/IOrder.class The file "org/sat4j/minisat/core/IOrder.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver$6.class The file "org/sat4j/minisat/core/Solver$6.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/SingleSolutionDetector.class The file "org/sat4j/tools/SingleSolutionDetector.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/AbstractDataStructureFactory.class The file "org/sat4j/minisat/constraints/AbstractDataStructureFactory.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/VoidTracing.class The file "org/sat4j/minisat/core/VoidTracing.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/xplain/Xplain.class The file "org/sat4j/tools/xplain/Xplain.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.class The file "org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/VarOrderHeap.class The file "org/sat4j/minisat/orders/VarOrderHeap.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/OriginalWLClause.class The file "org/sat4j/minisat/constraints/cnf/OriginalWLClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/ConflictTimerContainer.class The file "org/sat4j/minisat/core/ConflictTimerContainer.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver$4$1.class The file "org/sat4j/minisat/core/Solver$4$1.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver$5$1.class The file "org/sat4j/minisat/core/Solver$5$1.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/learning/LimitedLearning.class The file "org/sat4j/minisat/learning/LimitedLearning.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/restarts/MiniSATRestarts.class The file "org/sat4j/minisat/restarts/MiniSATRestarts.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/Messages.class The file "org/sat4j/Messages.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/DecisionLevelTracing.class The file "org/sat4j/tools/DecisionLevelTracing.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/ConflictTimerAdapter.class The file "org/sat4j/minisat/core/ConflictTimerAdapter.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/RestartStrategy.class The file "org/sat4j/minisat/core/RestartStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/restarts/LubyRestarts.class The file "org/sat4j/minisat/restarts/LubyRestarts.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.class The file "org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/ClausalDataStructureCBWL.class The file "org/sat4j/minisat/constraints/ClausalDataStructureCBWL.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.class The file "org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/LearntHTClause.class The file "org/sat4j/minisat/constraints/cnf/LearntHTClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.class The file "org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/ConstrGroup.class The file "org/sat4j/tools/ConstrGroup.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/specs/IOptimizationProblem.class The file "org/sat4j/specs/IOptimizationProblem.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.class The file "org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Learner.class The file "org/sat4j/minisat/core/Learner.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/AbstractLauncher.class The file "org/sat4j/AbstractLauncher.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.class The file "org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/card/MaxWatchCard.class The file "org/sat4j/minisat/constraints/card/MaxWatchCard.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver.class The file "org/sat4j/minisat/core/Solver.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/specs/ISolver.class The file "org/sat4j/specs/ISolver.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/LearntBinaryClause.class The file "org/sat4j/minisat/constraints/cnf/LearntBinaryClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Pair.class The file "org/sat4j/minisat/core/Pair.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/AbstractLauncher$2.class The file "org/sat4j/AbstractLauncher$2.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/core/ReadOnlyVecInt.class The file "org/sat4j/core/ReadOnlyVecInt.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver$3.class The file "org/sat4j/minisat/core/Solver$3.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/SolverDecorator.class The file "org/sat4j/tools/SolverDecorator.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/learning/NoLearningButHeuristics.class The file "org/sat4j/minisat/learning/NoLearningButHeuristics.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/MixedDataStructureDanielCBWL.class The file "org/sat4j/minisat/constraints/MixedDataStructureDanielCBWL.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver$7.class The file "org/sat4j/minisat/core/Solver$7.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/Clauses.class The file "org/sat4j/minisat/constraints/cnf/Clauses.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/core/VecInt$1.class The file "org/sat4j/core/VecInt$1.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/SolverStats.class The file "org/sat4j/minisat/core/SolverStats.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/core/LiteralsUtils.class The file "org/sat4j/core/LiteralsUtils.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/uip/FirstUIP.class The file "org/sat4j/minisat/uip/FirstUIP.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/ConstrActivityListener.class The file "org/sat4j/minisat/core/ConstrActivityListener.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/xplain/Pair.class The file "org/sat4j/tools/xplain/Pair.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/OptToSatAdapter.class The file "org/sat4j/tools/OptToSatAdapter.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/core/DefaultComparator.class The file "org/sat4j/core/DefaultComparator.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/ExtendedDimacsArrayReader.class The file "org/sat4j/tools/ExtendedDimacsArrayReader.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/core/ASolverFactory.class The file "org/sat4j/core/ASolverFactory.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.class The file "org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/xplain/XplainStrategy.class The file "org/sat4j/tools/xplain/XplainStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver$ISimplifier.class The file "org/sat4j/minisat/core/Solver$ISimplifier.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/CardinalityDataStructure.class The file "org/sat4j/minisat/constraints/CardinalityDataStructure.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.class The file "org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/CBClause.class The file "org/sat4j/minisat/constraints/cnf/CBClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/SolverFactory.class The file "org/sat4j/minisat/SolverFactory.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.class The file "org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/learning/NoLearningNoHeuristics.class The file "org/sat4j/minisat/learning/NoLearningNoHeuristics.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/UnitClause.class The file "org/sat4j/minisat/constraints/cnf/UnitClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/LearntWLClause.class The file "org/sat4j/minisat/constraints/cnf/LearntWLClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/core/ReadOnlyVec.class The file "org/sat4j/core/ReadOnlyVec.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/DotSearchTracing.class The file "org/sat4j/tools/DotSearchTracing.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/RandomWalkDecorator.class The file "org/sat4j/minisat/orders/RandomWalkDecorator.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.class The file "org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/learning/FixedLengthLearning.class The file "org/sat4j/minisat/learning/FixedLengthLearning.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/xplain/QuickXplainStrategy.class The file "org/sat4j/tools/xplain/QuickXplainStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Propagatable.class The file "org/sat4j/minisat/core/Propagatable.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/UnitPropagationListener.class The file "org/sat4j/minisat/core/UnitPropagationListener.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/reader/EfficientScanner.class The file "org/sat4j/reader/EfficientScanner.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/BasicLauncher.class The file "org/sat4j/BasicLauncher.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/Minimal4InclusionModel.class The file "org/sat4j/tools/Minimal4InclusionModel.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/reader/LecteurDimacs.class The file "org/sat4j/reader/LecteurDimacs.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/ILits.class The file "org/sat4j/minisat/core/ILits.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/ClausalDataStructureWL.class The file "org/sat4j/minisat/constraints/ClausalDataStructureWL.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/card/MinWatchCard.class The file "org/sat4j/minisat/constraints/card/MinWatchCard.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/ActivityListener.class The file "org/sat4j/minisat/core/ActivityListener.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver$4.class The file "org/sat4j/minisat/core/Solver$4.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/learning/PercentLengthLearning.class The file "org/sat4j/minisat/learning/PercentLengthLearning.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/learning/ActiveLearning.class The file "org/sat4j/minisat/learning/ActiveLearning.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/AssertingClauseGenerator.class The file "org/sat4j/minisat/core/AssertingClauseGenerator.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/core/VecInt$2.class The file "org/sat4j/core/VecInt$2.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/ClausalDataStructureCB.class The file "org/sat4j/minisat/constraints/ClausalDataStructureCB.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/Minimal4CardinalityModel.class The file "org/sat4j/tools/Minimal4CardinalityModel.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Constr.class The file "org/sat4j/minisat/core/Constr.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/ConflictLevelTracing.class The file "org/sat4j/tools/ConflictLevelTracing.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/specs/TimeoutException.class The file "org/sat4j/specs/TimeoutException.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/specs/IConstr.class The file "org/sat4j/specs/IConstr.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/HTClause.class The file "org/sat4j/minisat/constraints/cnf/HTClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/Lits.class The file "org/sat4j/minisat/constraints/cnf/Lits.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/core/VecInt$1$1.class The file "org/sat4j/core/VecInt$1$1.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/specs/IProblem.class The file "org/sat4j/specs/IProblem.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/card/AtLeast.class The file "org/sat4j/minisat/constraints/card/AtLeast.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/uip/DecisionUIP.class The file "org/sat4j/minisat/uip/DecisionUIP.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.class The file "org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Undoable.class The file "org/sat4j/minisat/core/Undoable.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/reader/Reader.class The file "org/sat4j/reader/Reader.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/specs/ContradictionException.class The file "org/sat4j/specs/ContradictionException.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/DecisionTracing.class The file "org/sat4j/tools/DecisionTracing.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/reader/AIGReader.class The file "org/sat4j/reader/AIGReader.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/UnitClauses.class The file "org/sat4j/minisat/constraints/cnf/UnitClauses.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/xplain/ReplayXplainStrategy.class The file "org/sat4j/tools/xplain/ReplayXplainStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/VarActivityListener.class The file "org/sat4j/minisat/core/VarActivityListener.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/BinaryClause.class The file "org/sat4j/minisat/constraints/cnf/BinaryClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/reader/AAGReader.class The file "org/sat4j/reader/AAGReader.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/SearchParams.class The file "org/sat4j/minisat/core/SearchParams.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/LearnedClauseSizeTracing.class The file "org/sat4j/tools/LearnedClauseSizeTracing.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/TextOutputTracing.class The file "org/sat4j/tools/TextOutputTracing.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/core/Vec.class The file "org/sat4j/core/Vec.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/ExitCode.class The file "org/sat4j/ExitCode.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/specs/IteratorInt.class The file "org/sat4j/specs/IteratorInt.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/core/VecInt.class The file "org/sat4j/core/VecInt.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/RemiUtils.class The file "org/sat4j/tools/RemiUtils.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/restarts/NoRestarts.class The file "org/sat4j/minisat/restarts/NoRestarts.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver$1.class The file "org/sat4j/minisat/core/Solver$1.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/reader/ParseFormatException.class The file "org/sat4j/reader/ParseFormatException.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/IntQueue.class The file "org/sat4j/minisat/core/IntQueue.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver$5.class The file "org/sat4j/minisat/core/Solver$5.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/OriginalHTClause.class The file "org/sat4j/minisat/constraints/cnf/OriginalHTClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/restarts/ArminRestarts.class The file "org/sat4j/minisat/restarts/ArminRestarts.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/ValuedLit.class The file "org/sat4j/minisat/orders/ValuedLit.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/MixableCBClause.class The file "org/sat4j/minisat/constraints/cnf/MixableCBClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/reader/DimacsReader.class The file "org/sat4j/reader/DimacsReader.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/learning/MiniSATLearning.class The file "org/sat4j/minisat/learning/MiniSATLearning.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Heap.class The file "org/sat4j/minisat/core/Heap.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/specs/IVec.class The file "org/sat4j/specs/IVec.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/DimacsArrayReader.class The file "org/sat4j/tools/DimacsArrayReader.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/ConflictTimer.class The file "org/sat4j/minisat/core/ConflictTimer.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/LearningStrategy.class The file "org/sat4j/minisat/core/LearningStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/ModelIterator.class The file "org/sat4j/tools/ModelIterator.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/reader/InstanceReader.class The file "org/sat4j/reader/InstanceReader.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/opt/MinOneDecorator.class The file "org/sat4j/opt/MinOneDecorator.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/DimacsOutputSolver.class The file "org/sat4j/tools/DimacsOutputSolver.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/specs/IVecInt.class The file "org/sat4j/specs/IVecInt.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/cnf/WLClause.class The file "org/sat4j/minisat/constraints/cnf/WLClause.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/MixedDataStructureDanielHT.class The file "org/sat4j/minisat/constraints/MixedDataStructureDanielHT.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/SolutionCounter.class The file "org/sat4j/tools/SolutionCounter.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/specs/SearchListener.class The file "org/sat4j/specs/SearchListener.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/LightFactory.class The file "org/sat4j/LightFactory.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver$LearnedConstraintsDeletionStrategy.class The file "org/sat4j/minisat/core/Solver$LearnedConstraintsDeletionStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/learning/AbstractLearning.class The file "org/sat4j/minisat/learning/AbstractLearning.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.class The file "org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/ActivityComparator.class The file "org/sat4j/minisat/core/ActivityComparator.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/constraints/MixedDataStructureDanielWL.class The file "org/sat4j/minisat/constraints/MixedDataStructureDanielWL.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/IPhaseSelectionStrategy.class The file "org/sat4j/minisat/core/IPhaseSelectionStrategy.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/tools/DimacsStringSolver.class The file "org/sat4j/tools/DimacsStringSolver.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/opt/MaxSatDecorator.class The file "org/sat4j/opt/MaxSatDecorator.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/opt/AbstractSelectorVariablesDecorator.class The file "org/sat4j/opt/AbstractSelectorVariablesDecorator.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/specs/Lbool.class The file "org/sat4j/specs/Lbool.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/orders/PureOrder.class The file "org/sat4j/minisat/orders/PureOrder.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Counter.class The file "org/sat4j/minisat/core/Counter.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/learning/ClauseOnlyLearning.class The file "org/sat4j/minisat/learning/ClauseOnlyLearning.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/AbstractOptimizationLauncher.class The file "org/sat4j/AbstractOptimizationLauncher.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/AbstractLauncher$1.class The file "org/sat4j/AbstractLauncher$1.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/core/Vec$1.class The file "org/sat4j/core/Vec$1.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/MoreThanSAT.class The file "org/sat4j/MoreThanSAT.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/DataStructureFactory.class The file "org/sat4j/minisat/core/DataStructureFactory.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! Invalid content:org/sat4j/minisat/core/Solver$2.class The file "org/sat4j/minisat/core/Solver$2.class" in the jar "/tmp/signatureFile1595817413830711332.jar" has been tampered! canonical: osgi.bundle,org.eclipse.sdk,4.0.0.v20100722-1830 Difference found for canonical: osgi.bundle,org.eclipse.sdk,4.0.0.v20100722-1830 between file:/shared/eclipse/e4/build/e4/downloads/drops/4.0.0/targets/updates/4.0/I20100722-2038 and file:/opt/public/eclipse/e4/build/e4/downloads/drops/4.0.0/workspace/builds/I201007251756/org.eclipse.releng.eclipsebuilder/../src/reposource/ In about.mappings, the property "0" has different values: "" and "". packed: osgi.bundle,org.eclipse.sdk,4.0.0.v20100722-1830 Difference found for packed: osgi.bundle,org.eclipse.sdk,4.0.0.v20100722-1830 between file:/shared/eclipse/e4/build/e4/downloads/drops/4.0.0/targets/updates/4.0/I20100722-2038 and file:/opt/public/eclipse/e4/build/e4/downloads/drops/4.0.0/workspace/builds/I201007251756/org.eclipse.releng.eclipsebuilder/../src/reposource/ In about.mappings, the property "0" has different values: "" and "".