+ protected String headToJava() {
+ if (head==null) return null;
+ if (head instanceof ToJava) {
+ StringBuffer sb = new StringBuffer();
+ ((ToJava)head).toJava(sb);
+ return sb.toString();
+ }
+ return head==null?"null":("\""+StringUtil.toJavaString(head.toString())+"\"");
+ }