Fix mistaken "java" with "leiningen" and "lein"