Update Extension.java

Needed for our extensions
Merge pull request #131 from kiroukou/patch-1

Update Extension.java