A Java compiler for Java mobile devices