Alternate file systems
Most of the time, resources in the workspace are stored in a local file system
that is accessible via java.io.File. However, it is also possible
to create resources that are stored in other kinds of file systems, such
as network file systems or a database.
The next few sections cover how to contribute alternative file systems, and how
to work with resources stored in different file systems.
