Make java.util.Scanner available

This commit is contained in:
Michiel Borkent 2022-03-31 12:07:35 +02:00
parent 4d24cdca2a
commit ff54332977

View file

@ -383,7 +383,7 @@
java.util.NoSuchElementException
java.util.Optional
java.util.Properties
;; java.util.Scanner
java.util.Scanner
java.util.Set
java.util.StringTokenizer
java.util.UUID