4.0.0 org.eclipse org.eclipse.jdt Eclipse Java Development Tools 3.3.1.r332_v20080131 repo Eclipse.org org.eclipse org.eclipse.ui.intro 3.2.101.v20070827_33x org.eclipse org.eclipse.ui.cheatsheets 3.3.1.v20080125_33x