rt/emul/mini/src/main/java/java/lang/ArithmeticException.java
Sun, 28 Apr 2013 09:46:23 +0200 Moving things around in model branch revealed the need for having ArithmeticException in the emulation library