The JVM's mysterious AllocatePrefetch options: what do they do? | Hacker News Reader