Using PyCharm to edit Java