Macro emit_java 

macro_rules! emit_java {
    ($($ty:ident),* as $encoding:path) => { ... };
}