 profile (disabled when <b>&lt;default&gt;</b> is
 selected). Properties set in the default configuration are also displayed in other configurations unless
 overridden; properties are stored in other configurations only if they <em>differ</em> from the value in the
 default configuration, in which case their corresponding labels are also displayed in boldface.
</p>

<h1>Other Possibilities</h1>
<p>
 Possible enhancements, plausible but unlikely enhancements, and open questions.
</p>

<ol>
 <li>
  <p>
   Jav