migrate Launcher and PropertyEvaluator to Properties