git.eclipse.org / objectteams / org.eclipse.objectteams / afbebd80d660f7396d0efd5b8d4912c9b6852ed1 / org.eclipse.jdt.core / search / org / eclipse / jdt / internal / core / nd / java / NdMethodException.java