Merge pull request #23 from wso2-dev/master

sucessfully commited the changes
Timestamp : Wed Jul 23 18:58:38 IST 2014
https://wso2.org/jenkins-pr-builder/job/developer-studio/44/
Merge pull request #24 from wso2-dev/master

sucessfully commited the changes
Timestamp : Thu Jul 24 14:36:18 IST 2014
https://wso2.org/jenkins-pr-builder/job/developer-studio/46/
Merge pull request #25 from wso2-dev/master

sucessfully commited the changes
Timestamp : Thu Jul 24 17:17:08 IST 2014
https://wso2.org/jenkins-pr-builder/job/developer-studio/48/
Merge pull request #26 from wso2-dev/master

sucessfully commited the changes
Timestamp : Fri Jul 25 10:30:07 IST 2014
https://wso2.org/jenkins-pr-builder/job/developer-studio/50/
Merge pull request #27 from wso2-dev/master

sucessfully commited the changes
Timestamp : Fri Jul 25 14:10:04 IST 2014
https://wso2.org/jenkins-pr-builder/job/developer-studio/51/
Merge pull request #28 from wso2-dev/master

sucessfully commited the changes
Timestamp : Fri Jul 25 16:59:49 IST 2014
https://wso2.org/jenkins-pr-builder/job/developer-studio/52/
Merge pull request #31 from wso2-dev/developer-studio-3.7.1

sucessfully commited the changes
Timestamp : Thu Dec 11 14:12:52 IST 2014
https://wso2.org/jenkins-pr-builder/job/developer-studio/77/
Fix for TOOLS-2662
Revert "Developer studio 3.7.1"
Merge pull request #32 from wso2/revert-31-developer-studio-3.7.1

Revert "Developer studio 3.7.1"
Merge branch 'master' of https://github.com/wso2/developer-studio
Fixing revert commit for pull request #31.
Fixing revert commit for pull request #31 - Part 2.
Merge branch 'master'