diff --git a/src/helma/doc/DocPrototype.java b/src/helma/doc/DocPrototype.java index 26c477e5..eb098708 100644 --- a/src/helma/doc/DocPrototype.java +++ b/src/helma/doc/DocPrototype.java @@ -36,7 +36,8 @@ public class DocPrototype extends DocElement { * * @param proto * @param parent - */ protected DocPrototype(Prototype proto, DocElement parent) { + */ + protected DocPrototype(Prototype proto, DocElement parent) { super(proto.getName(), PROTOTYPE); this.parent = parent; this.proto = proto;