Source code for the Java prototype implementation of SPEKE+ and J-PAKE+