<!--                                                                        -->
<!-- Copyright 2014 Google Inc.                                             -->
<!-- Licensed under the Apache License, Version 2.0 (the "License"); you    -->
<!-- may not use this file except in compliance with the License. You may   -->
<!-- may obtain a copy of the License at                                    -->
<!--                                                                        -->
<!-- http://www.apache.org/licenses/LICENSE-2.0                             -->
<!--                                                                        -->
<!-- Unless required by applicable law or agreed to in writing, software    -->
<!-- distributed under the License is distributed on an "AS IS" BASIS,      -->
<!-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or        -->
<!-- implied. License for the specific language governing permissions and   -->
<!-- limitations under the License.                                         -->

<!-- Defines configurable preconditions -->
<module type="fileset">

  <define-property name="jre.checks.bounds" values="AUTO,ENABLED,DISABLED" />
  <define-property name="jre.checks.api" values="AUTO,ENABLED,DISABLED" />
  <define-property name="jre.checks.numeric" values="AUTO,ENABLED,DISABLED" />
  <define-property name="jre.checks.type" values="AUTO,ENABLED,DISABLED" />
  <set-property name="jre.checks.bounds" value="AUTO" />
  <set-property name="jre.checks.api" value="AUTO" />
  <set-property name="jre.checks.numeric" value="AUTO" />
  <set-property name="jre.checks.type" value="AUTO" />

  <define-property name="jre.checks.checkLevel" values="NORMAL,OPTIMIZED,MINIMAL" />
  <set-property name="jre.checks.checkLevel" value="NORMAL" />

  <define-property name="jre.checkedMode" values="ENABLED,DISABLED" />
  <set-property name="jre.checkedMode" value="DISABLED" />
  <set-property name="jre.checkedMode" value="ENABLED">
    <when-property-is name="jre.debugMode" value="ENABLED" />
  </set-property>

</module>