script for gathering Eclipse UI config.