more Java options