Compiler-generated sources are now marked as being as such: Sources are
now marked as being USER_SPECIFIED, DEPENDENCY, or COMPILER_GENERATED.
This is a representation change. As a result, a some methods and
constructors are now deprecated.

Tweaked things to avoid using aforementioned deprecated code.

This fixes a build error in Jif caused by commit
803710e4ca572fdf05b6cbb80c6df787f1b31b72.
Style tweak. (Mostly just to see what happens wrt e-mail notifications
if multiple commits are pushed at once.)