#850 Removing the change of theme to 'devel', which fixes the problem
comes from the missing JSP branch