207208209210211212213214215
*/ if (status != 0) throw new JavaCompileException(errors); } finally { tempStream.destroy(); } } }