I don't know the answer, but if it isn't specified in the API or JLS, it may be undefined and JVM dependent.
Edit:
Google has given me more info:
Does a Java Scanner implicitly create a buffer...
Type: Posts; User: curmudgeon
I don't know the answer, but if it isn't specified in the API or JLS, it may be undefined and JVM dependent.
Edit:
Google has given me more info:
Does a Java Scanner implicitly create a buffer...