Package org.jacop.ui