From cb02290e3d810a651832dfd81edce4bf9a932512 Mon Sep 17 00:00:00 2001 From: hns Date: Thu, 24 Mar 2005 18:20:57 +0000 Subject: [PATCH] Remove unnecessary casts --- src/helma/framework/core/TypeManager.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/helma/framework/core/TypeManager.java b/src/helma/framework/core/TypeManager.java index 11ace149..415cadc5 100644 --- a/src/helma/framework/core/TypeManager.java +++ b/src/helma/framework/core/TypeManager.java @@ -127,16 +127,16 @@ public final class TypeManager { } else { // its an prototype String name = null; - name = ((Repository) list[i]).getShortName(); + name = list[i].getShortName(); Prototype proto = getPrototype(name); // if prototype doesn't exist, create it if (proto == null) { // create new prototype if type name is valid if (isValidTypeName(name)) - createPrototype(name, (Repository) list[i]); + createPrototype(name, list[i]); } else { - proto.addRepository((Repository) list[i]); + proto.addRepository(list[i]); } } }