eclipse configurations with Lukas