Update pure-funct-jvm.md