We define an information flow type system for a sequential JVM-like language that includes classes, objects, and exceptions. Furthermore, we show that it enforces noninterference. Our work provides, to our best knowledge, the first analysis that has been shown to guarantee noninterference for a realistic low level language.