These are various java stubs