jsonWriter.addField("hasSource", lib.getSourcePath()!=null);
if( installedLibs[i].getVirtualRoot()!=null)
jsonWriter.addField("root", installedLibs[i].getVirtualRoot());
jsonWriter.endObject();
}
jsonWriter.endArray().endObject();
this.responseString = jsonWriter.getJSON();
resp.setContentType("application/json;charset=UTF-8");
}