Minor issue that caused a java.lang.NoClassDefFoundError fixed

Same for webfrontend