Add JAVA_OPTS advice to some docs