Update JavaKryoTools/license.txt