changes for eclipse plugin