use javac -h instead of javah for Java >= 11

(should fix the compilation error with openjdk 11)

fixing t1p_aff_is_leq in presence of bottom element

Merge from trunk.