<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<component name="org.eclipse.e4.ui.widgets_1.2.700.v20191222-1048" version="1.2">
    <plugin id="org.eclipse.e4.ui.widgets_1.2.700.v20191222-1048"/>
</component>
