Utility code related to the eclipse core.