added class for internal representation of debugging state in java backend