preference defined by Java