diff --git a/src/helma/framework/core/TypeManager.java b/src/helma/framework/core/TypeManager.java index b6758207..2eb99e9a 100644 --- a/src/helma/framework/core/TypeManager.java +++ b/src/helma/framework/core/TypeManager.java @@ -263,7 +263,7 @@ public final class TypeManager { * * @return a collection containing the prototypes */ - public Collection getPrototypes() { + public synchronized Collection getPrototypes() { return Collections.unmodifiableCollection(prototypes.values()); }