This documentation section is for detailed, under-the-hood notes about PL/Java's implementation. They will be most often of interest to those developing PL/Java itself, but may also be useful when a deeper understanding of some PL/Java behavior is needed.