matszpk/stuff - Revision 3119: /java/JHexis/trunk