9.4.3.3.7 General Properties

The following are general properties that are used for the Java framework: