Checking secure information flow in Java bytecode by code transformation and standard bytecode verification