tree cdd1d0644b97e049dea0742f6c1ca2b0adc70155
parent 301a2ffc91535375b5c46831c6dcb7c8d843eaca
author Noopur Gupta <noopur_gupta@in.ibm.com> 1544549856 +0530
committer Noopur Gupta <noopur_gupta@in.ibm.com> 1544549856 +0530

Bug 539078: [12] Allow JDT to target Java 12 in compiler preferences

add these changes once again as they got reverted after merge from
master (which got these changes due to incorrect merge into master)

Change-Id: I41a01c9fb4d12fafc9ce165f5b76e2d755beb748