org.polarsys.chess.contracts.refinementView Bundle-SymbolicName: org.polarsys.chess.contracts.refinementView;singleton:=true Bundle-Version: 1.0.0.202304130827