eclipse.jdt.core: BETA_JAVA_18_3
eclipse.jdt.debug: BETA_JAVA_18_3
eclipse.jdt.ui: BETA_JAVA_18_3