Add fact hasjava17