Bug 51890 [Code formatter] Option to insert space inside empty brackets in allocation expression
Using 200402121200, this option is not visible if I display the tree by Java element. If I display the tree by Syntax element, I can find it. This seems inconsistent. I can provide screenshots if necessary.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/formatter/WhiteSpaceOptions.java
InnerNode element;
        element= new InnerNode(null, workingValues, "WhiteSpaceOptions.opening_paren"); 
        createBeforeOpenParenTree(workingValues, createChild(element, workingValues, "WhiteSpaceOptions.before")); 
        createAfterOpenParenTree(workingValues, createChild(element, workingValues, "WhiteSpaceOptions.after")); 
        roots.add(element);
        
        element= new InnerNode(null, workingValues, "WhiteSpaceOptions.closing_paren"); 
        createBeforeClosingParenTree(workingValues, createChild(element, workingValues, "WhiteSpaceOptions.before")); 
        createAfterCloseParenTree(workingValues, createChild(element, workingValues, "WhiteSpaceOptions.after")); 
        roots.add(element);
        
        element= new InnerNode(null, workingValues, "WhiteSpaceOptions.opening_brace"); 
        createBeforeOpenBraceTree(workingValues, createChild(element, workingValues, "WhiteSpaceOptions.before")); 
        createAfterOpenBraceTree(workingValues, createChild(element, workingValues, "WhiteSpaceOptions.after")); 
        roots.add(element);
        
        element= new InnerNode(null, workingValues, "WhiteSpaceOptions.closing_brace"); 
        createBeforeClosingBraceTree(workingValues, createChild(element, workingValues, "WhiteSpaceOptions.before")); 
        createAfterCloseBraceTree(workingValues, createChild(element, workingValues, "WhiteSpaceOptions.after")); 
        roots.add(element);
        
        element= new InnerNode(null, workingValues, "WhiteSpaceOptions.opening_bracket");         
        createBeforeOpenBracketTree(workingValues, createChild(element, workingValues, "WhiteSpaceOptions.before")); 
        createAfterOpenBracketTree(workingValues, createChild(element, workingValues, "WhiteSpaceOptions.after")); 
        roots.add(element);
        
        element= new InnerNode(null, workingValues, "WhiteSpaceOptions.closing_bracket");         
        createBeforeClosingBracketTree(workingValues, createChild(element, workingValues, "WhiteSpaceOptions.before")); 
        roots.add(element);