Deploying a Eclipse product if the Eclipse application is in another plug-in

Today I learned from Bug 237893 that I have to add the dependency of plugin.xml to build.properties manually to the plugin.xml. Otherwise you can not export a product from a different plug-in.