issue #787 added a preference for Java memory size