kframework/k — pull request #290 by andreistefanescu (2014-03-19 19:57:01+00:00)
Title: machine integers implemented with (java) primitives or big integers in the java backend

One test is failing due to an issue with Id2String. This can be resolved by using #289.