Java 7 warnings cleanup and minor API improvements

* Diamond operator used in generic declarations
* Added resolvedName() method to ResourceFile interface
* Fixed immutability of ResourceKey (final fields)