Open an issue at https://github.com/eclipse-servertools/servertools/issues . I think I see what the problem is.