SurfaceAreaQuery.setDoc(m);\r
Vector<String> classProduced = SurfaceAreaQuery.getLibraryClasses("ALWAYS_PRODUCED", mi);\r
for (int i = 0; i < classProduced.size(); ++i) {\r
SurfaceAreaQuery.setDoc(m);\r
Vector<String> classProduced = SurfaceAreaQuery.getLibraryClasses("ALWAYS_PRODUCED", mi);\r
for (int i = 0; i < classProduced.size(); ++i) {\r