master
8190278: ClassCastException is thrown by java.util.Scanner when a NumberFormatProvider is used