是否有任何Java Decompiler可以正确地反编译对重载方法的调用？

public class DecompilerTest {
    public static void main(String[] args) {
        Object s1 = "The",s2 = "answer";
        doPrint((Object) "You should know:");
        for (int i = 0; i < 2; i++) {
            doPrint(s1);
            doPrint(s2);
            s1 = "is";
            s2 = new Integer(42);
        }
        System.out.println();
    }

    private static void doPrint(String s1) {
        System.out.print("Wrong!");
    }

    private static void doPrint(Object s1) {
        System.out.print(s1 + " ");
    }
}

在没有调试信息的情况下用源/目标级别1.1编译它(即不应存在局部变量信息)并尝试对其进行反编译.我尝试了Jad,JD-GUI和Fernflower,他们都至少有一个错误的通话(即程序打印“错误！”至少一次)

真的没有java反编译器可以推断出正确的强制转换,以便它不会调用错误的重载吗？

编辑：目标级别1.1,以便不存在特定于Java6的快速验证信息.这可能会给反编译器一个线索,即s1已被声明为Object而不是String.即使没有这些信息,反编译器也应该能够反编译代码(不一定得到原始变量类型,但显示相同的行为),特别是因为许多混淆器也将它剥离.

反编译器出了什么问题：

>他们在第一次通话中错过了演员(对象).
>他们将s1的类型推断为String,但忘记在对doPrint的调用中添加强制转换(以便调用String版本而不是Object版本).
>一个糟糕的(我甚至没有列出)甚至将s2的类型推断为String,导致无法编译的代码.

在任何情况下,此代码从不调用String重载,但反编译的代码确实如此.