Automatic inference of stationary fields: a generalization of java's final fields