Checks the format of the source for a Jini ConfigurationFile. The source is specified with either a file, URL, or standard input, as well as with override options. The checks include syntax and static type checking, and require access to any application types mentioned in the source.