Fix list:keytake() error in Java client unit tests; correct encoding
dyalyzer spec.