Testing pulling down

Modified this file on GitHub in browser to check that the change shows up and is copied into eclipse without dumb stuff happening.