[jvm] Remove old DFM printing code.
[jvm] Correctly map from binding to library.
[jvm] Fix typos.
[jvm] Stop trying to use <top-level-environment>.