On 02/09/2013 16:28, Emmanuel Bourg wrote: > #721538 is easy to fix, but the API changes implied by #717122 would be > better dealt by upstream. An alternative would be to build jmock > explicitly with openjdk6, but that would prevent its removal from Jessie. Please, don't depend on OpenJDK6. We are planning to remove it in the next few months. Sylvestre