Pull request #854 accidentally modified and thus broke the hello worldmodules. This patch fixes their pom.xml files and again includes them inthe default build so that something like this is noticed earlier.