Update link to @tristan's Java implementation