fixed bug in test11.java in branch master