<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:monospace">Hello!</div><div class="gmail_default" style="font-family:monospace">What is the exact purpose of class BuiltinBug? It inherits from BugType, has an extra description value and the BugType's description is set to a "LogicError" value. Otherwise it seems to be the same as BugType. Probably the "LogicError" description is not valid where it is used. Its purpose is probably only to store the additional description that is passed later to the bug report, but this is not a clean way of doing this. Maybe this class can be removed?<br></div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">Balázs</div></div></div>