ipspiel24: various plug-ins and dependencies updated
ipspiel24: PMD deactivated for now (it does not work well with Eclipse anymore)