Clone detection through process algebras and Java bytecode