Part of mgr-main: Java version.