diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 18376:e11768d6136e

trust final fields in constants with default values
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Thu, 13 Nov 2014 18:18:50 -0800
parents 3417a9177425
children
line wrap: on
line diff