Problem with setting Proguard options

I’ve created my new project using Cocos Studio.

There’s the file proguard-project.txt in my proj.android - which I understand should be edited to add project specific options.
I did that, but whenever I press the “Run on Android” button in Cocos Studio, the file proguard-project.txt gets reset and all my additions are gone.

Is there something I’m doing wrong here? I tried to find other places for setting proguard options but I couldn’t find any.

Similarly, project.properties gets reset as well on each build by Cocos Studio. It is weird because I’m reading tutorials often where I’m supposed to edit project.properties or proguard-project.txt…