[crux-commits] ports/opt (3.8): jdk8-bin: update to 8.402.08.1