fixed strange eclipse-error