<?xml version="1.0" encoding="UTF-8"?> 
<java version="1.4.2_13" class="java.beans.XMLDecoder"> 
 <string>PHP_TOKEN|!|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|~|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|++|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|--|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_CASTING|(int)|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_CASTING|(float)|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_CASTING|(string)|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_CASTING|(array)|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_CASTING|(object)|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|@|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|*|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|/|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|%|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|+|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|-|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|.|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|&lt;&lt;|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|&gt;&gt;|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|&lt;|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|&lt;=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|&gt;|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|&gt;=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|==|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|!=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|===|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|!==|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|&amp;|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|^|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|||1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|&amp;&amp;|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR||||1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|?|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|:|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|+=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|-=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|*=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|/=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|.=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|%=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|&amp;=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR||=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|^=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|&lt;&lt;=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_OPERATOR|&gt;&gt;=|1</string> 
 <string>WHITESPACE|
|1</string> 
 <string>PHP_TOKEN|,|1</string> 
</java> 
