Repl manager API enhancements.
Fix javadoc link.
Javadoc typo.
Fix NPE when no listener is installed.
Added shutdown method.
Merge remote-tracking branch 'remotes/origin/master' into compact