Corrected HelloWorld_Petya.java
Merge branch 'Petya' into dev