The switch statement at the beginning of the load(InputStream) method
in the java.util.Properties class has no cases that fall through, so
that the method does nothing but read characters up to the EOF and then
return.