How much faster is Java 17?