tree b23f6f71073e73415a6168d4f4f2eed9c81ccc7d
parent 836a57190e85ba0b178782697af4d5dc1cb20a64
parent f674018126f7359e6e377ed4e623f45a3ad2118e
author William S Fulton <wsf@fultondesigns.co.uk> 1505849779 +0100
committer William S Fulton <wsf@fultondesigns.co.uk> 1505849779 +0100

Merge branch 'jder-java-doc-fix'

* jder-java-doc-fix:
  Improvements to Java Memory Management docs
  Avoid possible GC issues in Java example code