File pencil-stencils.patch of Package pencil

--- Definition/CollectionManager.js
+++ Definition/CollectionManager.js
@@ -113,6 +113,19 @@
     CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/Native.GUI/Definition.xml"));
     CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/SketchyGUI/Definition.xml"));
 
+    // add stencils
+    CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/Dojo.GUI/Definition.xml"));
+    CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/ExtJS.GUI/Definition.xml"));
+    CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/ExtJSicons.GUI/Definition.xml"));
+    CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/FamFamFam.Flags/Definition.xml"));
+    CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/FamFamFam.Silk/Definition.xml"));
+    CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/Flowchart/Definition.xml"));
+    CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/Glyphish/Definition.xml"));
+    CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/PlaceholderText/Definition.xml"));
+    CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/Touchscreen/Definition.xml"));
+    CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/UCD.Activities/Definition.xml"));
+    CollectionManager.addShapeDefCollection(parser.parseURL("../Stencil/UCD.Docs/Definition.xml"));
+
     CollectionManager.loadUserDefinedStencils();
     PrivateCollectionManager.loadPrivateCollections();