Wed, 01 Jul 2020 15:47:58 -0500 Optimized jvm flags for paper.
Luke Hoersten <luke@hoersten.org> [Wed, 01 Jul 2020 15:47:58 -0500] rev 108
Optimized jvm flags for paper.
(0) -100 -30 -10 -1 +1 +10 +30 +100 tip