fix a eclipse plugin error