I have no idea how this or the next file got here. Does anyone have a clue? Should I remove them from the PR? I've been using Eclipse, and I wonder if it put it there for some reason…