Bug#910704: cbmc: Build depend on default-jdk instead of openjdk-8-jdk

[Emmanuel Bourg]

Package: cbmc
Severity: serious
Tags: sid buster
User: debian-j...@lists.debian.org
Usertags: default-java10

cbmc build-depends on openjdk-8-jdk that we plan to remove in Buster,
it should use default-jdk instead.