add updated org.eclipse.jdt.core for 3.7.1

rt