Update Extension.java

Needed for our extensions