The case is documented when ClassCastException is thrown by ModuleUtil's member functions; correspondent unit tests are added.