Opening Project Properties, clicking onto "Java Compiler" on the left, then clicking onto "Java Build Path" hyperlink on the right, then clicking onto "Java Compiler" - "Building" (or anywhere else?) made Eclipse bring up a dialog asking "Build path was changed, update?". Clicking "Yes" fixed the problem.