remove patched plugin jdt.core