Small speedup: avoid extracting libjava