Does not return java function annotation
<p>Is there any way to force the compiler (annotation or othewise) to realize a java function is never returning (i.e. always throwing), so that subsequently it will not error out its usages as the last statement in other functions returning non void?</p>

<p>Here's a simplified/made-up example:</p>

<pre><code>int add( int x, int y ) {
    throwNotImplemented();  // compiler error here: no return value.
}

// How can I annotate (or change) this function, so compiling add will not yield an error since this function always throws?
void throwNotImplemented() {
    ... some stuff here (generally logging, sometimes recovery, etc)
    throw new NotImplementedException();
}
</code></pre>

<p>Thank you.</p>
