astyle formatting
SymbolDatabase: Optimisation of previous fix for #4952