java -jar $ECLIPSE_HOME/plugins/org.eclipse.jdt.core_3.1.0.jar $*
