I20191130-1800
This activate the general code mining preference in JDT and deactivates all the detailed once. This allows the general editor setting for the warnings to influence JDT. This is a temporary change for 4.14 due to the last time, in 4.15 we should remove the JDT specific setting. Change-Id: I670ef8d5aee74981a8dbb2355692b6fd01fb3b73 Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>