Addded ensime example