Javascript GWT：有没有办法修改GWT在编译中使用的Cast.java文件？

我试图将该文件放在com.google.gwt.lang下，但它在编译时仍然使用旧的实现，而不是修改后的实现

我做错了什么？

根据

如果您确实需要在此处进行更改，我建议您从源代码重新构建gwt-dev.jar，并将其放在类路径上，而不是当前路径上：

<!-- Fundamental types required by code generation and other basics.        -->
<!-- Do not inherit this module directly; inherit com.google.gwt.core.Core. -->
<!--                                                                        -->
<!-- Types from this module are not visible to nor imported into user code. -->
<!--                                                                        -->