import javax.swing.*;
import java.util.*;

        // Show the complete list of UIDefaults properties.
class ShowUIDefaults {
    public static void main(String[] args){
        UIDefaults defaults = UIManager.getDefaults();
        Enumeration keys = defaults.keys();
        while(keys.hasMoreElements()){
            System.out.println(keys.nextElement());
        }
        // Exit because of the separate thread.
        System.exit(0);
    }
}
