spurious change in Eclipse metadata.