Crash fix
Python indenter
Extract indenter from xml files