Ensime integration