The size only affects the size of the WAR file you deploy, nothing else. End-users do not download all of it, only what they actually use (a single theme). That said, JAR files are ZIP packages, so you can quite easily modify the file by renaming, unzipping, deleting, zipping, and renaming back to JAR. Hope this helps
I suppose we could re-package the themes, but honestly, I think it’s a non-issue for most of our users. If you want, you can file an enhancement ticket at
http://dev.vaadin.com , which will make it’s way to the Product Owner of the framework. I can let him know about it to make sure you get an official reply (I don’t work in the Framework team, I’m a consultant).