MySQL Port should be integer
v6r7p9
FIX: using mangled name and removed shifterProxy agentOption
FIX: finish downtime when its endDate is older than now
Merge pull request #1296 from ubeda/FIX_v6r7_ElementInspectorAgent

FIX: using mangled name and removed shifterProxy agentOption
v6r7p10