Virtual machine for Pippin in java