clarified the java-docs of backend aspects' abstractions