Not sure what this commit is.

The changes appeared after closing eclipse...