Bug 49243 New code formatter: missing feature
The new code formatter seems to do everything and cater to all tastes. However, it still does not cover one aspect of how I format code. I like to do for-s like this: for (int i=1 ; i<10 ; i++) {} (note spaces surrounding ;-s). However, I do NOT want a space before ;-s anywhere else (ideology: in other places ; is a terminator, in the for it is a separator). The reason I can't do this is that the "space before ;" has been factored out to the level of control statements and cannot be set specifically for the for statement.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/formatter/WhiteSpaceOptions.java
* Create the tree, in this order: syntax element - position - abstract element
	 */
	public static ArrayList createTreeBySyntaxElem(Map workingValues) {
        final ArrayList roots= new ArrayList();
        
        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);