KDM14 — throws example in the spec is incomplete

throws example in the spec is incomplete

Add throws example

class A {
void foo() {
try{
bar();
catch(Exception e)

finally

}
void bar() throws MoreDescriptiveException{
try

catch (IndexOutOfBoundsException e)

finally

}

int[] arr = new int[10]
}

Some comments:
Some of the AbstractCodeElements are BlockUnits. I would have used EntryFlows instead of regular Flows, but that might be a matter of choice.
1. TryUnit entryFlow> ActionElement[kind='Call'] not required?
2. I see that we need to create new Exception to send. That's the revision I attached. I did a pass to do the changes, but I hope I got the numbering right (done manually).

<!-- Create the Exception, no constructor called -->
<codeElement xmi:id="id.47" xmi:type="action:ActionElement" name="a8" kind="New">
<codeElement xmi:id="id.48" xmi:type="code:StorableUnit" type="id.67" kind="local"/>
<actionRelation xmi:id="id.49" xmi:type="action:Creates" to="id.48" from="id.47"/>
<actionRelation xmi:id="id:50" xmi:type="action:Flow" to="id.50" from="id.47"/>
</codeElement>

<!-- Throw statement -->
<codeElement xmi:id="id.51" xmi:type="action:ActionElement" name="a9" kind="Throw">
<actionRelation xmi:id="id.52" xmi:type="action:Throws" from="id.51" to="id.48"/>
</codeElement>