minor fix for eclipse plugin