Avoid jmxtools and jmxri

Should no longer be needed by VAMDC plugin - also not GPL compatible.