let's call the default theme 'OpenProject'. alternatively one could have changed the class DefaultTheme to OpenProjectTheme and let that be the default theme.