String 变量和字符串运算原理

public class test04 {

public static void main(String[] args) {
	String a = "abc";
	String b = a + "def";
	System.out.println(b);
}

}

指令：
D:\workspace\esTest\Fact\bin> javap -c .\test04.class

main方法第二行, 字符串abc完成初始化赋值。
main方法第十四行, 字符串def完成初始化赋值。
main方法第十六行, 调用append方法添加def变量数据。19行开始toString返回String类型。
main方法第23行,控制台接受打印流。
ps：invokevirtual, invokestatic不清楚指令语义。第十一行和参考解释过程不一样。

参考解释过程。