hg: jigsaw/jigsaw/jdk: Revert make-launcher change that is supposed to go with platform module renaming change.

[mandy.chung at oracle.com]

Changeset: 1880f76e17f6
Author:    mchung
Date:      2010-05-24 20:20 -0700
URL:       http://hg.openjdk.java.net/jigsaw/jigsaw/jdk/rev/1880f76e17f6

Revert make-launcher change that is supposed to go with platform module renaming change.

! make/common/Defs.gmk