JBIDE-13517 eap6.1dr3 not recognized, snjezana's patch added with comment