diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 6552:3cd6c6743a6a

Do not generate null check for values already proven to be non-null.
author Christian Wimmer <christian.wimmer@oracle.com>
date Fri, 12 Oct 2012 16:10:05 -0700
parents dfcb73ac6ba2
children 427e797ab18e
line wrap: on
line diff