<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
   <extension point="org.eclipse.core.runtime.preferences">
      <initializer
            class="org.python.pydev.shared_interactive_console.console.ScriptConsolePreferenceInitializer"/>
   </extension>
</plugin>
