<?xml version="1.0" encoding="UTF-8"?>
<module codename="org.openide.options">
    <module_version install_time="1201630134124" last="true" origin="installer" specification_version="6.7.1">
        <file crc="3117519198" name="config/Modules/org-openide-options.xml"/>
        <file crc="1098455666" name="modules/org-openide-options.jar"/>
    </module_version>
</module>
