eclipse.preferences.version=1
encoding//model/TrafficLight.sct=UTF-8