DrawingView view = views[i];
FigureEnumeration fe = view.getDrawing().getFigures();
while (fe.hasMoreElements()){
Figure fig = fe.nextFigure();
String id = (String) fig.getAttribute("id");
if ((id != null) && (!id.equals(""))){
rst.add(view.getDrawing().getTitle(), id);
}