I'm curious, why can you omit the "java.io" here? There's no import of File...