Java source code for the prototype implementations of SPEKE+ and J-PAKE+