New JDK module: 1.7.0_13