Property Macros

These macros produce lists or tables containing properties used by the Java platform or jEdit itself.