dispose() disposes of the jniContextHandle, however the seenBinaryKeys still reported that the handle is still available. This resulted in a kernel being unable to recompile after any of it's predecessors have been disposed. Clearing this set fixes this issue.