use getters instead of final fields on `const Resources` to make dart2js happy