fixed some problems with java extensions