[crux-commits] ports/opt (master): jre, jdk: took maintainership