An S3 File System Provider for Java 7