Java proposal would shrink JDK by 25%
Briefly