try to fix CI build for jdk15