Also if the programmer fails to wisely GC using API / Annotations then the fallback is the default GC mechanism. This way there will be no memory leaks. Also objects which are GCed will be objects that can be GCed. Live / referenced objects which escape the explicit GC context will not be GCed. <div>
<br></div><div>The objective is that:</div><div><ul><li>The GC check happens at define points in code</li><li>GC happens at define points if possible, else fall back to the system GC mechanism</li></ul></div>