code: function readDotEnsimeArray(from, key) {
    var r = new RegExp("\\s*:" + key + " \\(([^\\)]*)\\)\\s*$", "m");
    var m = from.match(r);
    if (m) {
      return m[1].
      match(/"([^"])*"/g).
      map(function(e) {
        return e.match(/"([^"]*)"/)[1];
      });
    }
    else return undefined;
  }
docs: Extract a value from the .ensime content. Does not cover all cases!