Minor update to pydev properties format