Porting TweetNacl in Java