³See the Eclipse JDT project page for details: http://www.eclipse.org/jdt/.