Edit File: semanage.py